带模板成员方法的C++普通类，非模板构造函数该放头文件还是源文件实现？

直接结论：foo 作为非模板普通类，它的非模板构造函数完全可以定义在独立的.cpp源文件中，无需放到头文件里。你遇到的编译异常和构造函数的位置无关，是代码的其他问题导致的。

底层编译逻辑：不同成员的处理规则差异 #

C++的编译是分两个独立阶段的，不同类型的成员函数的处理规则完全不同，这也是很多人搞混的根源：

• 模板成员函数的特殊要求：模板本身不是可执行的代码实体，只是编译器生成代码的蓝图。只有当某个编译单元实际用到了该模板的具体实例时，编译器需要看到完整的模板定义，才能生成对应类型的实例化代码。因此模板方法的定义必须放在头文件（或者配套的.tpp实现头文件，在类定义结束后引入），否则会因为找不到模板定义导致实例化失败，链接时报未定义错误。
• 普通非模板成员函数的规则：普通类的非模板成员函数（包括构造函数、析构函数、普通成员方法）只需要在头文件里提供声明即可，定义可以放在任意一个.cpp编译单元中。链接阶段会自动把所有引用该函数的位置和对应的定义关联起来，没有必须放在头文件中的要求。

你提到的"带非模板方法的模板类的非模板方法也需要定义在头文件中"是不严谨的：只有当模板类本身依赖按需实例化、没有显式实例化时，才需要把所有成员的定义放在头文件中方便编译器生成实例；如果是显式实例化的模板类，它的非模板方法也可以定义在.cpp中，和普通类规则一致。

为什么调整构造函数位置能解决你的编译异常？ #

这种情况基本可以确定和构造函数的位置本身无关，你大概率是误打误撞绕开了真实的错误，常见原因有两种：

1. 类定义缺少结尾分号
   你贴的示例代码里，class foo的结束}后面没有写必需的分号。C++语法要求类定义的}后面必须跟分号（因为允许在类定义后直接声明变量，比如class A {} a;），缺了分号会导致编译器把后续代码错误解析为类定义的延续，直接报语法错误。你把构造函数移到头文件时，要么顺手补上了这个分号，要么直接把构造函数写在了类内部、删除了.cpp里的外部定义，刚好绕开了这个语法错误。
2. 构建系统开启了统一编译（Unity Build）
   如果构建系统开启了Unity Build，会自动把多个.cpp文件合并成一个大的编译单元处理。如果你的代码存在重复定义、或者模板实例化的位置不符合编译单元的处理逻辑，调整构造函数的位置会改变编译单元的合并规则，刚好消除了冲突。

标准合法写法示例 #

你完全可以保持构造函数在.cpp中的写法，只要修复基础语法问题即可：

• foo.hpp（注意类定义结尾的分号）：

// in foo.hpp
#pragma once
class foo {
    private:
        int m_a;
        long m_b;
    public:
        foo(); // 仅需声明即可
        template<class T>
        int Func1(int a, int b) {
            // 模板方法定义保留在头文件中符合规则
            m_a = a;
            m_b = b;
            return a + b;
        }
}; // 此处分号不可省略

• foo.cpp（构造函数定义放在这里完全合法）：

// in foo.cpp
#include "foo.hpp"

foo::foo() {
    m_a = 0;
    m_b = 0;
}

这种写法完全符合C++标准，编译和链接都不会出现问题。

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