C++模板类头文件与实现文件链接及g++编译问题求助

我在Windows命令行使用g++编译器时，遇到模板类头文件与实现文件链接的问题，具体情况如下：

文件结构 #

文件目录如图所示（链接略）。

头文件Foo.hpp代码： #

//Foo.hpp
#ifndef FOO_HPP
#define FOO_HPP

template <typename Iterable>
class Foo{
    public:
        Iterable* attr_itb;
        Foo(Iterable* itb);
};

#endif

实现文件Foo.cpp代码： #

//Foo.cpp
#include "Foo.hpp"

template <typename Iterable>
Foo<Iterable>::Foo(Iterable* itb):
    attr_itb(*itb) {}

主程序main.cpp代码： #

//main.cpp
#include "Foo.hpp"
#include <iostream>
int main(){
    int arr[] = {1,2,3,4,5};
    Foo<int[]> bar(&arr);
    std::cout<<(bar.attr_itb)<<std::endl;
    std::cout<<(&arr)<<std::endl;
}

编译执行命令 #

g++ main.cpp Foo.cpp -o executable
executable

错误信息 #

C:/msys64/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/14.1.0/../../../../x86_64-w64-mingw32/bin/ld.exe: C:\Users\Tim_G\AppData\Local\Temp\cctrJee5.o:main.cpp:(.text+0x3c):
undefined reference to `Foo<int []>::Foo(int (*) [])'
collect2.exe: error: ld returned 1 exit status

我希望得到以下帮助：

1. 解释该链接错误的原因；
2. 提供Foo.hpp与Foo.cpp正确的链接代码；
3. 提供main.cpp中正确使用整数数组作为模板参数的代码；
4. 提供Windows命令行下正确的编译链接指令。

附加问题：.h文件是否比.hpp更好？我还没见过使用.hpp的程序员。

1. 链接错误的原因 #

C++模板采用延迟实例化机制：只有当模板被实际指定具体类型使用时，编译器才会生成对应的模板类/函数代码。

你的代码中，编译Foo.cpp时，编译器看不到任何Foo模板的具体实例化请求（比如Foo<int[]>），因此不会生成Foo<int[]>::Foo的具体实现代码。而编译main.cpp时，编译器看到了Foo<int[]>的使用，但只有类的声明，没有实现代码，链接阶段就会找不到对应的函数定义，从而报"undefined reference"错误。

2. 正确的代码实现方案 #

有两种常见解决方式：

方案一：将模板实现移到头文件中 #

直接把模板类的成员函数实现写在Foo.hpp里，这样编译器在编译main.cpp时能直接看到实现代码，完成实例化：

//Foo.hpp
#ifndef FOO_HPP
#define FOO_HPP

template <typename Iterable>
class Foo{
    public:
        Iterable* attr_itb;
        Foo(Iterable* itb);
};

// 将实现放在头文件中
template <typename Iterable>
Foo<Iterable>::Foo(Iterable* itb):
    attr_itb(itb) {}  // 修正原代码类型错误：原代码用*itb会导致类型不匹配

#endif

此时可以删除Foo.cpp，或者保留但无需写模板实现（通常直接合并到头文件更简洁）。

方案二：在实现文件中显式实例化指定类型 #

如果坚持分开头文件和实现文件，需要在Foo.cpp末尾显式实例化你需要使用的模板类型，让编译器提前生成对应代码：

//Foo.cpp
#include "Foo.hpp"

template <typename Iterable>
Foo<Iterable>::Foo(Iterable* itb):
    attr_itb(itb) {}  // 修正类型不匹配问题

// 显式实例化Foo<int[]>
template class Foo<int[]>;

3. main.cpp的修正代码 #

原代码中attr_itb(*itb)存在类型错误：itb是int (*)[5]（指向数组的指针），而attr_itb是int[]*（等价于int(*)[5]），直接赋值*itb会把数组本身赋值给指针，导致类型不匹配。修正后的代码如下：

方式一：明确数组大小作为模板参数 #

//main.cpp
#include "Foo.hpp"
#include <iostream>
int main(){
    int arr[] = {1,2,3,4,5};
    Foo<int[5]> bar(&arr);  // 明确数组大小，避免模糊类型
    std::cout << bar.attr_itb << std::endl;
    std::cout << &arr << std::endl;
}

方式二：使用指针作为模板参数（更符合习惯） #

//main.cpp
#include "Foo.hpp"
#include <iostream>
int main(){
    int arr[] = {1,2,3,4,5};
    Foo<int*> bar(arr);  // 数组名自动退化为指针
    std::cout << bar.attr_itb << std::endl;
    std::cout << arr << std::endl;
}

4. Windows命令行正确编译指令 #

无论采用哪种方案，编译命令都可以使用：

g++ main.cpp Foo.cpp -o executable.exe

如果采用方案一删除了Foo.cpp，则简化为：

g++ main.cpp -o executable.exe

执行时直接运行：

executable.exe

附加问题：.h和.hpp哪个更好？ #

没有绝对优劣，只是约定俗成的用法差异：

• .h是传统的C/C头文件后缀，既可以放C代码也可以放C代码，通常需要在开头加extern "C"适配C和C++混合编译场景。
• .hpp是C专属头文件的后缀约定，用来明确这是C头文件，里面可以直接写模板、命名空间等C++特性，不需要额外处理C兼容。

很多大型C++项目（比如Boost、Qt）都会使用.hpp后缀，只是你接触的场景中用.h的更多而已。选择哪种后缀主要看团队或项目的编码规范，本质上没有功能差异。

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