Exponenta Banner
exponenta event banner

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

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

C++ 11 Std RefОписаниеПоддержанный
C++ 2011-DR226Аргументы шаблона по умолчанию для шаблонов функцийДа
C++ 2011-DR339Решение задачи SFINAE для выраженийДа
C++ 2011-N1610Инициализация объектов класса по значениям rvaluesДа
C++ 2011-N1653C99 препроцессорДа
C++ 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Ссылки на значения RvalueДа
C++ 2011-N2170Универсальные литералы имен символовДа
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Определение специальных функций перемещенияДа
C++ 2011-N3276выражения decltype и callДа

См. также

Связанные темы

Документация по программе проверки кода Polyspace

Поддержка