Movatterモバイル変換

[0]ホーム
URL:

cppreference.com
Namespaces
Variants
    Actions

      std::contracts::assertion_kind

      From cppreference.com
      <cpp‎ |contract
       
       
      Utilities library
       
      Contract support
      Contract-violation information
      assertion_kind
      (C++26)
      Helper functions
       
      Defined in header<contracts>
      enumclass assertion_kind:/* unspecified */{

          pre=1,
          post=2,
         assert=3

      };
      		(since C++26)

      The enumerators ofstd::contracts::assertion_kind correspond to the syntactic forms of acontract assertion, with meanings listed below:

      Enumerator Meaning
      pre the contract assertion is aprecondition assertion
      post the contract assertion is apostcondition assertion
      assert the contract assertion is acontract_assert statement

      [edit]See also

      the type holding the contract-violation information
      (class)[edit]
      the evaluation semantic when the contract violation occurs
      (enum)[edit]
      the reason that causes the contract violation
      (enum)[edit]
      Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/contract/assertion_kind&oldid=182033"
      [8]ページ先頭
      ©2009-2025 Movatter.jp