为什么这个简短的模板代码片段有效？

Question

根据标题，当has_type_struct<no_type>肯定是无效类型时，我不明白以下代码如何编译。

template<typename T>
using my_int = int;

struct no_type {};

template<typename T>
struct has_type_struct { using type = typename T::type; };

template<typename T>
using has_type_using = typename T::type;

int main() {
   my_int<has_type_struct<no_type>> a; // why does this compile?
   //my_int<has_type_using<no_type>>(); // this rightfully does not compile
   return 0;
}

Answer 1

程序有效，因为has_type_struct<no_type> 没有被实例化。

[temp.inst]/1:

除非已显式实例化或显式特化类模板特化，否则当在需要完全定义的对象类型的上下文中引用特化或类类型的完整性影响语义时，会隐式实例化类模板特化的程序。

my_int<has_type_struct<no_type>> 的使用并不要求 has_type_struct<no_type> 是完整的，因此后者不会被实例化，也不会检查其定义中依赖名称的有效性。