Допустимо ли имя типа необязательного ? ⇐ C++

[Anonymous]

При изменении существующего кода я случайно обнаружил, что объявление псевдонима создает std::optional. Это произошло из следующего кода шаблона:

Код: Выделить всё

using ret_t = std::invoke_result_t;
using opt_ret_t = std::optional;

Код позже различает случай, когда тип возвращаемого значения (не) void, поэтому на самом деле необязательный объект никогда не создается.Чтобы убедиться, что я ничего не упустил, я добавил утверждение в эту ветку кода, и все скомпилировалось:

Код: Выделить всё

static_assert(std::is_same_v);

cppreference говорит:

Нет необязательных ссылок, функций, массивов или cv void; программа является неправильно сформированной, если она создает экземпляр необязательного параметра такого типа.

Итак, несмотря на то, что компиляторы не жалуются, является ли этот код неправильно сформированным?< /п>

Подробнее здесь: https://stackoverflow.com/questions/787 ... name-valid