このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Polyspace でサポートされる C++11 言語の要素
次の表には、C++11 以降に導入された C++ 言語の要素と、対応する Polyspace® サポートの部分的なリストを示しています。サポートされていない設定がコードに含まれている場合、Polyspace ではコンパイル エラーがレポートされます。
| C++11 標準参照 | 説明 | サポートあり |
|---|---|---|
| C++2011-DR226 | Default template arguments for function templates | はい |
| C++2011-DR339 | Solving the SFINAE problem for expressions | はい |
| C++2011-N1610 | Initialization of class objects by rvalues | はい |
| C++2011-N1653 | C99 preprocessor | はい |
| C++2011-N1720 | Static assertions | はい |
| C++2011-N1737 | Multi-declarator auto | はい |
| C++2011-N1757 | Right angle brackets | はい |
| C++2011-N1791 | Extended friend declarations | いいえ |
| C++2011-N1811 | long long | はい |
| C++2011-N1984 | auto-typed variables | はい |
| C++2011-N1986 | Delegating constructors | はい |
| C++2011-N1987 | Extern templates | はい |
| C++2011-N1988 | Extended integral types | はい |
| C++2011-N2118 | Rvalue references | はい |
| C++2011-N2170 | Universal character name literals | はい |
| C++2011-N2179 | Concurrency: Propagating exceptions | いいえ |
| C++2011-N2235 | Generalized constant expressions | はい |
| C++2011-N2239 | Concurrency: Sequence points | 新しい構文やキーワードは導入されていないため、C++11 に対する Polyspace サポートには影響しません。 |
| C++2011-N2242 | Variadic templates | はい |
| C++2011-N2249 | New character types | はい |
| C++2011-N2253 | Extending sizeof | はい |
| C++2011-N2258 | Template aliases | はい |
| C++2011-N2340 | __func__ predefined identifier | はい |
| C++2011-N2341 | Alignment support | はい |
| C++2011-N2342 | Standard Layout Types | はい |
| C++2011-N2343 | Declared type of an expression | はい |
| C++2011-N2346 | Defaulted and deleted functions | はい |
| C++2011-N2347 | Strongly typed enums | はい |
| C++2011-N2427 | Concurrency: Atomic operations | いいえ |
| C++2011-N2429 | Concurrency: Memory model | 新しい構文やキーワードは導入されていないため、C++11 に対する Polyspace サポートには影響しません。 |
| C++2011-N2431 | Null pointer constant | はい |
| C++2011-N2437 | Explicit conversion operators | はい |
| C++2011-N2439 | Rvalue references for *this | はい |
| C++2011-N2440 | Concurrency: Abandoning a process and at_quick_exit | はい |
| C++2011-N2442 | Unicode string literals | はい |
| C++2011-N2442 | Raw string literals | はい |
| C++2011-N2535 | Inline namespaces | はい |
| C++2011-N2540 | Inheriting constructors | はい |
| C++2011-N2541 | New function declarator syntax | はい |
| C++2011-N2544 | Unrestricted unions | はい |
| C++2011-N2546 | Removal of auto as a storage-class specifier | はい |
| C++2011-N2547 | Concurrency: Allow atomics use in signal handlers | いいえ |
| C++2011-N2555 | Extending template parameters of variadic templates | はい |
| C++2011-N2657 | Local and unnamed types as template arguments | はい |
| C++2011-N2659 | Concurrency: Thread-local storage | いいえ |
| C++2011-N2660 | Concurrency: Dynamic initialization and destruction with concurrency | はい |
| C++2011-N2664 | Concurrency: Data-dependency ordering: atomics and memory model | いいえ |
| C++2011-N2672 | Initializer lists | はい |
| C++2011-N2748 | Concurrency: Strong Compare and Exchange | いいえ |
| C++2011-N2752 | Concurrency: Bidirectional Fences | いいえ |
| C++2011-N2756 | Nonstatic data member initializers | はい |
| C++2011-N2761 | Generalized attributes | はい |
| C++2011-N2764 | Forward declarations for enums | はい |
| C++2011-N2765 | User-defined literals | はい |
| C++2011-N2927 | New wording for C++0x lambdas | はい |
| C++2011-N2928 | Explicit virtual overrides | はい |
| C++2011-N2930 | Range-based for | はい |
| C++2011-N3050 | Allowing move constructors to throw [noexcept] | はい |
| C++2011-N3053 | Defining move special member functions | はい |
| C++2011-N3276 | decltype and call expressions | はい |
