std::contracts:: detection_mode
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Contract-violation information | ||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
(C++26)
|
||||
|
detection_mode
(C++26)
|
||||
| Helper functions | ||||
|
Definiert in Header
<contracts>
|
||
|
enum
class
detection_mode
:
/* unspecified */
{
predicate_false
=
1
,
|
(seit C++26) | |
Die Enumeratoren von
std::contracts::detection_mode
entsprechen den Gründen, die dazu führen, dass die Vertragsverletzung in einem Kontext auftritt, der nicht
offensichtlich konstant ausgewertet
ist, mit den unten aufgeführten Bedeutungen:
| Enumerator | Bedeutung |
predicate_false
|
die Vertragsverletzung tritt auf, weil das Ergebnis des Prädikats false ist |
evaluation_exception
|
die Vertragsverletzung tritt auf, weil die Auswertung des Prädikats über eine Exception beendet wird |
Hinweise
Wenn ein Vertragsverstoß in einem Kontext auftritt, der offensichtlich konstant ausgewertet wird, wird der Contract-Verletzungs-Handler nicht aufgerufen.
Siehe auch
|
(C++26)
|
der Typ, der die Vertragsverletzungsinformationen enthält
(Klasse) |
|
(C++26)
|
die Art der verletzten Vertragsassertion
(Enumeration) |
|
(C++26)
|
die Auswertungssemantik bei Auftreten einer Vertragsverletzung
(Enumeration) |