为何C++变量模板不会触发多重定义错误？

问题场景代码 #

header.h #

#ifndef HEADER_H
#define HEADER_H

#include <array>

template <typename T, auto N> std::array<T, N> arr;
void printArr();

#endif

source1.cpp #

#include <iostream>
#include "header.h"

void printArr()
{
    std::cout << &arr<int, 5> << std::endl;
}

source2.cpp #

#include <iostream>
#include "header.h"

int main() {
    std::cout << &arr<int, 5> << std::endl;
    printArr();
    return 0;
}

问题描述 #

上述代码运行后，两个编译单元中arr<int,5>的内存地址完全相同，说明操作的是同一个实例。疑问点在于：为何链接器不会触发多重定义错误？是不是因为变量模板的实例被标记为弱符号，最终生成唯一对象？

解答 #

这本质是C++标准对模板特化的ODR（单定义规则）特殊处理，而非单纯的弱符号机制（虽然部分编译器会用弱符号实现该逻辑，但核心是标准规定）：

• 变量模板本身是一个模板定义，而非具体的变量。只有当代码中引用了arr<int,5>这种具体特化时，编译器才会在对应的编译单元中隐式实例化这个变量。
• 根据C++标准，对于同一个模板特化（比如这里的arr<int,5>），多个编译单元中的隐式实例化定义会被链接器视为同一个实体。链接器会自动合并这些重复的实例，只保留一份有效定义，而不会触发多重定义错误。
• 这种规则是为了适配模板的跨编译单元使用场景——模板通常被放在头文件中，会被多个源文件包含，如果每个实例化都触发多重定义错误，模板的实用性会大打折扣。

简单来说，模板特化的重复实例化是ODR规则允许的例外情况，链接器会负责合并重复实例，确保最终程序中只有一份定义。

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