编译器何时需要计算别名？

Question

考虑以下代码：

template <class T>
struct computation {
    using type = /* something based on T that takes time to compile */;
};

现在考虑两个代码：

using x = computation<T>;

和：

using y = typename computation<T>::type;

我想知道标准是否暗示：

• 选项A）任何“合理”编译器都会为x <代码> y
• 选项b）编译器可以完全计算计算＆lt; t＆gt; :: type即使只有， <强> 即使只有，计算＆lt; t＆gt; 被调用，即使x也会导致长期编译

时间“合理”编译器植入器的选项B。我知道该标准对编译器的实施一无所知，例如，如果它要求::类型在专门调用之前不必存在，这将受到选项A。

Note注意。 ：根据我的经验，我很确定g ++，clang ++，msvc和intel正在以下选项a），但我不知道它是否仅仅是纯粹的运气与标准中的事物有关。

Answer 1

我假设t在这里是实际的非依赖类型，而不是另一个模板参数。

---

该行

using x = computation<T>;

不会导致计算的隐式实例化＆lt; t＆gt;。因此，编译器在这一点上没有理由尝试计算类型，特别是因为需要忽略任何实例化故障。如果类型的计算会产生无效的类型，或者以其他方式失败，则该程序可能无法编译。

该行

using y = computation<T>::type;

确实需要计算的隐式实例化＆lt; t＆gt;，因为将范围分辨率运算符应用于它。隐式实例化包括计算计算中的类型别名＆lt; t＆gt;。编译器必须执行计算，因为如果计算失败或产生无效的类型，则该程序将不正确，并且编译器需要诊断。

实际上，这并不取决于:: Type特别是部分。即使是:: type2对于其他类型别名，类模板专业化的隐式实例化也将需要计算type。

同样，使用计算＆lt; t＆gt;在任何其他上下文中都需要完成的情况都需要隐式实例化，因此计算type，例如

auto z = computation<T>{};