C++是否要求模板声明的非依赖代码部分格式正确？

在C中，函数模板的类型检查确实会延迟到模板实例化（被调用）时，但这只针对依赖模板参数的代码。对于不涉及模板参数的非依赖代码，编译器必须在模板定义阶段就完成合法性检查，这是C标准的强制要求，并非Clang的独有特性。

核心区分：依赖代码 vs 非依赖代码 #

• 依赖代码：涉及模板参数（比如示例中的T::f()）的表达式，其合法性取决于实例化时传入的具体类型。这类代码的检查会延迟到模板被实例化时进行，只要实例化时对应的类型满足要求，代码就是合法的。
  比如这个模板：

  template<typename T>
  int right() {
      return T::f();
  }
  

  只要实例化时Foo类型拥有返回int的静态方法f()，right<Foo>()就能正常编译。

• 非依赖代码：完全不涉及模板参数的代码，其合法性不随模板参数变化。编译器在处理模板定义时就必须验证这部分代码的语法和类型正确性，无论模板是否被实例化。
  比如用户提供的错误示例：

  template<typename T>
  int wrong1() {
      return "";
  }
  

  return "";试图将const char*类型转换为int，这是无论T是什么类型都必然非法的操作，所以Clang（以及其他符合标准的编译器如GCC、MSVC）会在模板定义阶段直接报错，无需等待实例化。

标准依据 #

C++标准明确规定，模板中的非依赖构造必须符合语言的语法和类型规则。因为这部分代码的行为是确定的，不依赖任何模板参数，编译器有能力也必须提前检查其合法性，避免明显的错误被隐藏到实例化阶段。

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