Возможности С++ 11/14/17 в Visual Studio 2015 RTM

Близится дата релиза Visual Studio 2015, и многие хотели бы узнать, как обстоят дела с поддержкой стандартов C++ в компиляторе Microsoft.

Standard Library

В таблице приведены возможности библиотеки С++14/17, за которые мы голосовали в мае.

SFINAE-Friendly result_of

Improving pair And tuple

shared_mutex (Untimed)

constexpr For <complex>

constexpr For <chrono>

constexpr For <array>

constexpr For <initializer_list>, <tuple>, <utility>

integral_constant::operator()()

UDLs For <chrono>, <string> (1729ms, "meow"s, etc.)

Null Forward Iterators

quoted()

Heterogeneous Associative Lookup

integer_sequence

shared_mutex (Timed)

exchange()

Fixing constexpr Member Functions Without const

get<T>()

Dual-Range equal(), is_permutation(), mismatch()

Sized Deallocation

UDLs For <complex> (3.14i, etc.)

constexpr For <functional>

tuple_element_t

Renaming shared_mutex (Timed) To shared_timed_mutex

void_t

Safe Conversions In unique_ptr<T[]>

invoke()

Removing auto_ptr, random_shuffle(), And Old <functional> Stuff

noexcept Cleanups

uncaught_exceptions()

Trivially Copyable reference_wrapper

insert_or_assign()/try_emplace() For map/unordered_map

size(), empty(), data()

Precisely Constraining unique_ptr Assignment

bool_constant

Minimal Container Element Requirements

Transparent Operator Functors (less<>, etc.)

Alias Templates For <type_traits> (decay_t, etc.)

make_unique()

Supporting Incomplete Types In vector/list/forward_list

Discouraging rand()

Contiguous Iterators

2015 opt-in означает что существует защитное макро. По умолчанию работает auto ptr/etc. Если вы определите _HAS_AUTO_PTR_ETC в 0 на уровне проекта (через командный параметр или проектный файл), то auto ptr/etc не предоставляется. В дальнейшем предусматривается opt-out, а через релиз auto ptr/etc будет убран совсем.

«N/A» означает что эти возможности вносят изменения в формулировки стандарта, но никак не затрагивают имплементоров или пользователей.

Имплементация стандартной библиотеки C99 готова, кроме tgmath.h (что иррелевантно к C++) и макросов-прагм CX_LIMITED_RANGE/FP_CONTRACT.
   
Имплементация стандартной C++11 библиотеки готова.   
Имплементация стандартной C++14 библиотеки готова, за исключением Expression SFINAE в результате (N3462) и std::function (LWG 2132), плюс 11 открытых Library Issues.
   
Имплементация стандартной C++17 библиотеки готова, за исключением улучшений в pair/tuple (N4387) и untimed shared_mutex (N4508), плюс 10 открытых Library Issues.
   
Все оставшиеся исключения являются багами.  (На текущий момент мы исправили около 160 багов в STL между 2013 и 2015 релизами.  Год назад, был предоставлен список первых наборов исправлений. 

• (C99) offsetof 

•  (C++11) numeric_limits<float/double/long>

  double>::quiet_NaN()/signaling_NaN()

•  (C++11) mutex's default constructor 

•  (C++14) error_category's default constructor 

•  (C++14) min()/max()/minmax() for initializer_list

•  (C++17) min_element()/max_element()/minmax_element()

На данный момент команда сфокусирована на получении полного соответствия стандарту, что является более высоким по приоритету нежели имплементация технических спецификаций, утверждаемых комитетом.  (мы думаем что ТС’ы важны, но стандарт еще важнее)  Тем не менее мы уже имплементировали несколько ТС возможностей: Filesystem «V3» TS (N4100) и Uniform Container Erasure (N4529 [container.erasure]).

Core Language

[RTM] Эти возможности имплементированы между RC и RTM.

[1] Мы планируем приступить к имплементации Expression SFINAE в компиляторе сразу после 2015 RTM, и планируем выпустить в свет в обновлении. Но возможно это не получится в 2015 Update 1.

[2] Поддержка препроцессора C99 осталась без изменений.  Частичный статус остался в силе так как несмотря на то что компилятор поддерживает variadic макросы, поведение препроцессора не соответствует стандарту C99/C++11 во многих вещах.

[3] «Extended integer types» находятся в списке Not Applicable по причине того, что стандарт не требует поддержки типов длиннее long long. Мы препочли не поддерживать такие типы, что является разрешенным поведением. GCC и Clang тоже не имплементировали эти типы.

[4] «Avoiding/fusing allocations» находится в списке Not Applicable по причине того, что стандарт позволяет, но не требует такой оптимизации.  Пока принято решение не имплементировать эту возможность, что является разрешенным поведением.

Замечание в части C++11 constexpr: это очень большая «фича» с сложным взаимодействием, имплементирована на базе нового кода компилятора и потребовала очень серьезной модернизации многих компонент. Мы подозреваем что в текущем варианте есть баги и ограничения, и мы будем выпускать исправления в будущих обновлениях.
Хотим сказать большое спасибо всем, кто отправлял репорты об ошибках для промежуточных версий компилятора. Если вы найдете новые ошибки пожалуйста отправляйте их нам через Microsoft Connect и Send A Smile/Frown.

ссылка на оригинал статьи http://habrahabr.ru/post/262805/