MSVC2017 v15.7.2中CRTP依赖类型问题是否为版本回归？

首先明确：MSVC2017 v15.7.2的行为是符合C++标准的，而v15.6的行为才是非标准的宽松实现。

我们来拆解背后的原因：

• 你的派生类B是一个模板类，它的基类A<DERIVED, Foo>依赖于模板参数DERIVED，属于依赖基类（dependent base class）。
• 根据C++标准的规则，在模板类的定义阶段（未实例化时），非限定名称查找（比如直接写T）不会去依赖基类中查找名称。这是因为编译器此时无法确定基类的具体结构——哪怕WRAP固定为Foo，只要基类依赖于模板参数，就会触发这个规则。

你原来的代码在v15.6中能正常编译，是因为MSVC旧版本没有严格执行这个标准规则，允许了宽松的非限定查找；而v15.7.2修复了这个行为，严格遵循了C++标准的要求。

为什么修复方案有效？ #

你在派生类中重新声明using T = typename BASE::T，本质是把基类的T显式引入到派生类的作用域中，此时T就变成了派生类作用域内的可见名称，非限定查找自然能找到它。另外还有两种等价的写法也能解决问题：

• 直接在构造函数参数中使用限定名称：

  B(typename A<DERIVED, Foo>::T t);
  

• 或者直接引入基类的T：

  using typename A<DERIVED, Foo>::T;
  

你提到这个问题和《Type not found when derived from template base class》不同，核心疑问是基类的public using为何突然不可见——本质还是依赖基类的名称查找规则在起作用：基类的public成员确实存在，但非限定查找不会主动去依赖基类中搜索，必须通过显式引入或限定查找的方式让编译器定位到它。

内容的提问来源于stack exchange，提问作者charley