Почему std::conditional требует определения обеих ветвей? ⇐ C++

[Anonymous]

У меня есть код, который условно изменяет тип ввода на основе предиката типа, например:

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

template 
using result = std::conditional_t;

Он компилируется только в том случае, если T удовлетворяет ограничениям type_cast (независимо от результата type_pred::value).
В качестве примера, в следующем коде std::make_unsigned_t требует, чтобы T было целым, поэтому компилятор сообщает, что T не является целым.

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

template 
using make_unsigned_if_integral_t =
std::conditional_t;

// this works
static_assert(std::is_same_v);
// compiler complains on this
using expect_float = make_unsigned_if_integral_t;

Если реализация type_cast не ограничивает его параметр, подход работает хорошо, например:

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

// no constraints on T here, so custom_make_unsigned::type is valid (but never actually used)
template  struct custom_make_unsigned {
template  struct impl {
using type = U;
};

template  struct impl {
using type = std::make_unsigned_t;
};

using type = typename impl::type;
};

template 
using custom_make_unsigned_if_integral_t =
std::conditional_t;

static_assert(std::is_same_v);

Вопрос в том, почему std::conditional требует, чтобы обе ветви были «действительными» и что часть языка C++ (или стандартной библиотеки) определяет такое поведение?

Подробнее здесь: https://stackoverflow.com/questions/786 ... be-defined