C ++ 11 — C ++ constexpr выражение выражения

У меня есть вопрос относительно следующего комментария об условных выражениях, используемых в функциях constexpr:

Ветвь условного выражения, которая не берется в функции constexpr, не оценивается. Источник: условная оценка функций

Как уже написано в источнике, вы можете иметь такие функции constexpr, как

constexpr int check(int i) {
return (0<=i && i<10) ? i : throw out_of_range();
}

и только ветвь, которая берется, оценивается. Все идет нормально. Но почему это недопустимо в сочетании с шаблонами. Итак, давайте возьмем этот базовый пример здесь:

template <int N>
constexpr int times(int y) {
return (N<0) ? 0 : y+times<N-1>(y);
}

times<5>(10);

Компиляция не удалась, потому что глубина создания шаблона превышает максимум, даже если false ветка условная берется только 4 раза. Тогда он должен принять true ответвление и возврат 0. Конечно, это можно переписать, используя enable_if или что угодно, но я только хотел бы знать следующие вещи:

• Является ли это утверждение недействительным, когда дело доходит до оценки типа подвыражения?

• Почему это не удается, хотя в приведенном выше утверждении утверждается, что подвыражение не оценивается? Я предполагаю, что типы должны быть оценены в любом случае (например, чтобы проверить, выполняется ли требование, чтобы обе ветви условного выражения имели один и тот же тип) и, следовательно, оно заканчивалось бесконечным созданием шаблона. Правильное предположение?

• Есть ли место в стандарте c ++, описывающее это поведение?