Является ли nullptr_t стандартным конструктивным типом?

Question

Я не могу сказать из C++ 11 Standard, если nullptr_t имеет конструктор по умолчанию. Другими словами, следующий действительный ?:

nullptr_t n; 

GCC и VC++ позволяют код выше, но лязг не делает. Я не могу найти что-либо в стандарте, указав, что у него нет конструктора по умолчанию, и то, что я могу найти, предполагает, что оно должно быть. Это имеет значение для меня, потому что я пишу основную резервную реализацию nullptr для более старой поддержки компилятора и должен знать, нужно ли мне указывать конструктор по умолчанию.

Answer 1

Что говорит Стандарт

Стандарт говорит (18,2)

nullptr_t определяется следующим образом:

namespace std { 
    typedef decltype(nullptr) nullptr_t; 
} 

тип, для которого nullptr_t является синонимом имеет характеристики, описанные в 3.9.1 и 4.10.

Где 3.9.1 в основном говорит, что это должно быть того же размера, как и void* 4.10 определяет правила преобразования для nullptr.

Edit: 3.9.9, кроме того, прямо говорится, что nullptr_t является скаляром типа, что означает, что ожидаемые правила инициализации для встроенных типов с 8.5 применяются:

• По умолчанию инициализация (nullptr_t n;), который оставляет значение n undefined. Как правильно указал Йоханнес Шауб, это прекрасно компилируется с новейшей версией Clang.
• Значение инициализация (nullptr_t n = nullptr_t();), который инициализирует п 0.

Такое поведение является идентичным, например, int, поэтому nullptr_t определенно по умолчанию. Интересный вопрос: что означает для nullptr_t, чтобы иметь неопределенное значение? В конце дня существует только одно значимое возможное значение для nullptr_t, которое составляет nullptr. Более того, сам тип определяется только семантикой литерала nullptr. Используются ли эти семантики для унифицированного значения?

Почему этот вопрос не имеет значения, на практике

Вы не хотите, чтобы объявить новую переменную типа nullptr_t. Единственная значимая семантика этого типа уже выражается через литерал nullptr, поэтому всякий раз, когда вы будете использовать свою настраиваемую переменную типа nullptr_t, вы можете просто использовать nullptr.

Что имеет значение на практике

Единственное исключение из этого исходит из того, что вы можете взять шаблон параметров без типа типа nullptr_t. Для этого случая полезно знать, какие значения могут быть преобразованы в nullptr_t, что описано в 4.10:

Нулевой константный указатель является неотъемлемой константа (5.19) prvalue целочисленного типа, который оценивает к нулю или prvalue типа std::nullptr_t. [...] Константа нулевого указателя интегрального типа может быть преобразована в prvalue типа std::nullptr_t.

Что в основном делает только то, что можно было ожидать: Вы можете написать

nullptr_t n = 0; // correct: 0 is special 

но не

nullptr_t n = 42; // WRONG can't convert int to nullptr_t 

Оба GCC 4.6 и Clang SVN получить это право.

Answer 2

Хотя nullptr является новым дополнением к самому языку, std::nullptr_t это просто псевдоним безымянного типа, псевдоним объявлен в cstddef, как это:

typedef decltype(nullptr) nullptr_t; 

Хотя nullptr_t, будучи ЬурейиМ и не язык ключевое слово, не указано в качестве фундаментального типа, указано, что он ведет себя как фундаментальный тип (а не, например, как тип указателя или тип класса). Поэтому он не имеет конструктора по умолчанию, но вы все равно можете объявить переменную, как вы это делали. Ваша переменная не инициализирована, и мне интересно, что ее использование может быть и какое сообщение об ошибке вы получили от clang.

См. Также here.