为什么 C++ 变量模板不会引发多个定义错误？[复制]

问：

似乎我缺乏一些关于模板如何工作的基本知识。考虑一个由一个公共头文件组成的程序，该文件引入了一个作为包装器的变量模板和两个包含该头文件的源。std::array

header.h

#ifndef HEADER_H
#define HEADER_H

#include <array>

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

#endif

来源1.cpp

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

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

来源2.cpp

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

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

该程序生成以下打印件：

0x565146e1c160
0x565146e1c160

两个打印都生成相同的内存地址，因此正在操作相同的实例。 我的问题是为什么链接器在链接时不会由于多个定义而引发错误？这是因为变量模板只是一个模板，并且模板的各个实例被标记为弱实例，从而生成一个唯一的对象吗？