Почему C++ не позволяет неявную инициализацию списка в условном операторе?

Этот код компилируется:

std::string f(bool a, std::string const& b)
{
    if (a) return b;
    return {};
}

Этот код также компилирует:

std::string f(bool a, std::string const& b)
{
    return a ? b : std::string{};
}

Этот код не компилируется:

std::string f(bool a, std::string const& b)
{
    return a ? b : {};
}

Учитывая, что оба значения результата оператора ?: Должны быть одного типа, почему он не выводит тип, как в первом примере?

Похоже, что этот вопрос может иметь аналогичный ответ на этот вопрос (который по сути сводится к "потому что никто не думал об этом при написании спецификации языка"). Однако я все еще считаю полезным сохранить этот вопрос, так как сам вопрос отличается, он все еще достаточно удивителен, и другой не будет искать эту проблему.

Ответ 1