Эта таблица предоставляет частичный список элементов языка 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 и вызывающие выражения | Да |
C++ standard version (-cpp-version)