Exponenta Banner

Поддерживаемые в Polyspace элементы языка C++ 11

Эта таблица предоставляет частичный список элементов языка C++, которые были введены с C++ 11 и его соответствующего Polyspace® поддержка. Если ваш код содержит неподдерживаемые конструкции, Polyspace сообщает об ошибке компиляции.

C++ 11 Стд. СсылкаОписаниеПоддержанный
C++ 2011-DR226Аргументы шаблона по умолчанию для шаблонов функцийДа
C++ 2011-DR339Решение задачи SFINAE для выраженийДа
C++ 2011-N1610Инициализация объектов классов по rvaluesДа
C++ 2011-N1653C99 препроцессорДа
C++ 2011-N1720Статические утвержденияДа
C++ 2011-N1737Multi-declator autoДа
C++ 2011-N1757Правые углы скобкиДа
C++ 2011-N1791Расширенные объявления друзейНет
C++ 2011-N1811длинный длинныйДа
C++ 2011-N1984автоматический тип переменныхДа
C++ 2011-N1986Делегирование конструкторовДа
C++ 2011-N1987Шаблоны ExternДа
C++ 2011-N1988Расширенные интегральные типыДа
C++ 2011-N2118Ссылки на RvalueДа
C++ 2011-N2170Универсальное имя символа literalsДа
C++ 2011-N2179Параллелизм: Распространение исключенийНет
C++ 2011-N2235Обобщенные постоянные выраженияДа
C++ 2011-N2239Параллелизм: Точки последовательностиНовый синтаксис/ключевое слово не вводится и поэтому не влияет на поддержку Polyspace для C++ 11.
C++ 2011-N2242Вариадные шаблоныДа
C++ 2011-N2249Новые типы символовДа
C++ 2011-N2253Удлинение размераДа
C++ 2011-N2258Псевдонимы шаблоновДа
C++ 2011-N2340__ func __ предопределенный идентификаторДа
C++ 2011-N2341Поддержка выравниванияДа
C++ 2011-N2342Стандартные типы размещенийДа
C++ 2011-N2343Объявленный тип выраженияДа
C++ 2011-N2346Функции по умолчанию и удаленные функцииДа
C++ 2011-N2347Сильно типизированные перечисленияДа
C++ 2011-N2427Параллелизм: Атомарные операцииНет
C++ 2011-N2429Параллелизм: Модель памятиНовый синтаксис/ключевое слово не вводится и поэтому не влияет на поддержку Polyspace для C++ 11.
C++ 2011-N2431Нулевая константа указателяДа
C++ 2011-N2437Операторы явного преобразованияДа
C++ 2011-N2439Ссылки Rvalue для * thisДа
C++ 2011-N2440Параллелизм: отказ от процесса и at_quick_exitДа
C++ 2011-N2442Юникод строки литераламиДа
C++ 2011-N2442Необработанные строковые литералыДа
C++ 2011-N2535Встроенные пространства именДа
C++ 2011-N2540Наследование конструкторовДа
C++ 2011-N2541Синтаксис новой функции-декларатораДа
C++ 2011-N2544Неограниченные объединенияДа
C++ 2011-N2546Удаление auto как спецификатора класса памятиДа
C++ 2011-N2547Параллелизм: Разрешить использование атомарии в обработчиках сигналовНет
C++ 2011-N2555Расширение параметров шаблона вариативного шаблонаДа
C++ 2011-N2657Локальные и неназванные типы как аргументы шаблонаДа
C++ 2011-N2659Параллелизм: локальное хранилище потоковНет
C++ 2011-N2660Параллелизм: Динамическая инициализация и уничтожение с параллелизмомДа
C++ 2011-N2664Параллелизм: Упорядоченное расположение зависимостей данных: атомика и модель памятиНет
C++ 2011-N2672Списки инициализаторовДа
C++ 2011-N2748Параллелизм: сильное сравнение и обменНет
C++ 2011-N2752Параллелизм: двунаправленные заборыНет
C++ 2011-N2756Нестатические инициализаторы представителей данныхДа
C++ 2011-N2761Обобщенные атрибутыДа
C++ 2011-N2764Переслать объявления для перечисленийДа
C++ 2011-N2765Пользовательские литералыДа
C++ 2011-N2927Новые формулировки для C++ 0x lambdasДа
C++ 2011-N2928Явные виртуальные переопределенияДа
C++ 2011-N2930Диапазонный дляДа
C++ 2011-N3050Позволяет перемещать конструкторы, чтобы выдать [noexcept]Да
C++ 2011-N3053Определение функций move special memberДа
C++ 2011-N3276decltype и выражения вызоваДа

См. также

Похожие темы

Документация Polyspace Bug Finder

Поддержка