模板类非模板方法提前实例化引发编译错误的技术咨询

让我们逐个解答你的问题，结合C++标准和实践来分析：

1. 你的理解是否正确？ #

大体方向是对的，但细节上需要补充修正：
你提到“模板类实例化为具体类型时，编译器可能实例化所有方法”，准确来说是：类模板实例化时，所有成员函数的声明都会被实例化，但成员函数的定义只有在被ODR-used（比如被调用、取地址等）时才会被实例化。
你的问题核心在于：第三个构造函数的声明中涉及的类型（std::vector<T>或my_class）需要成为完整类型，当类模板实例化时，编译器必须处理这些类型的定义，进而触发其中的static_assert。
至于你说“仅调用my_struct()时未触发错误”，这其实是编译器的宽松优化——当某个成员函数完全没有参与重载决议，也没有被ODR-used时，部分编译器会延迟处理其声明中的类型要求，但这不是标准强制的行为，所以不能依赖。

2. 该行为是C++语言要求、未定义行为还是编译器bug？ #

这是C++标准明确要求的行为，不属于编译器bug或未定义行为。
根据C++标准，类模板实例化时，必须实例化类的所有成员的声明（包括构造函数的声明）。当声明中涉及的类型需要完整定义时（比如构造函数的参数类型），编译器必须实例化该类型，从而触发其中的编译检查（比如std::vector的static_assert，或者你的my_class中的static_assert）。

3. 是否属于C17的语言缺陷？是否存在相关缺陷报告？C20是否已修复？ #

这个问题确实属于C标准早期版本的设计缺陷，相关的缺陷报告是CWG 1581，它讨论了类模板成员即使不被使用，其声明中的依赖类型也会被实例化的问题。
C20通过引入概念（Concepts）和requires子句修复了这个问题：你可以用requires约束成员函数的存在性，让它只在模板参数满足特定条件时才出现在实例化的类中，从而避免不必要的类型实例化。

4. 更优的解决方案？是否属于设计问题？ #

这确实可以看作是一个设计问题：如果某个成员函数只适用于模板参数的部分特化，就应该通过约束来限制它的存在，而不是让它在所有特化中都存在。

针对不同C++版本，有两种更优雅的解决方案：

• C++20及以上（推荐）：使用requires子句直接约束构造函数的适用条件：

  #include <vector>
  #include <type_traits>
  
  template<class T>
  struct my_struct {
      my_struct() {}
      explicit my_struct(T) {}
      // 仅当T是非const类型时，该构造函数才存在
      explicit my_struct(std::vector<T>) requires (!std::is_const_v<T>) {}
  };
  
  int main() {
      my_struct<const int> s1(1); // 正常编译，第三个构造函数不存在
      my_struct<int> s2(std::vector<int>{}); // 正常调用第三个构造函数
  }
  

• C++17及以下：使用SFINAE（替换失败不是错误）来禁用不适用的构造函数：

  #include <vector>
  #include <type_traits>
  
  template<class T>
  struct my_struct {
      my_struct() {}
      explicit my_struct(T) {}
      // 通过模板参数U和enable_if来约束，仅当T非const时启用
      template<class U = T, std::enable_if_t<!std::is_const_v<U>, int> = 0>
      explicit my_struct(std::vector<U>) {}
  };
  

这两种方案都比你之前的“将构造函数模板化”更精准，能明确表达该构造函数的适用范围。

5. 未来编译器能否提供更详细的错误追踪信息？ #

目前主流编译器（GCC、Clang）已经在逐步优化这类错误信息，比如GCC的错误会显示实例化的调用链，指出是哪个类模板实例化导致了成员声明的实例化，进而触发了类型的static_assert。
未来编译器大概率会进一步细化错误提示，比如明确指出：“该构造函数的声明被类模板实例化所要求，导致其参数类型std::vector<const int>被实例化，触发了其中的static_assert”，帮助开发者更快定位根源。

内容的提问来源于stack exchange，提问作者Bérenger