Exponenta Banner

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

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

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

Смотрите также

Похожие темы

Документация Polyspace Code Prover
Поддержка