编译器是否总会将内置类型模板参数加入函数名以确保唯一性？

问题描述 #

在生成函数名称时，编译器是否总会将模板参数（尤其是内置类型的模板参数）加入函数名中，以确保函数名称的唯一性？

以下是伪代码示例：

template<int32_t Size>
class Foo
{
public:
    // 函数签名不依赖Size
    void doSomething()
    {
        m_bar.doWork(Size);
    }
    
    // 其他依赖Size值的函数
    ...

private:
    // Bar类型不依赖Size
    Bar m_bar;

    // 其他依赖Size值的成员
    ...
};

当使用两个不同的Size值实例化上述类时，doSomething函数会生成两个唯一的名称吗？

回答 #

会生成两个唯一的函数名称。

模板类的每个实例化版本都是完全独立的类型，比如Foo<5>和Foo<10>是两个毫无关联的类，它们的成员函数自然属于不同的类作用域。

编译器在生成供链接器使用的函数名时，会通过**名称修饰（name mangling）**机制将模板参数值嵌入函数名中，以此区分不同实例化类的成员函数。哪怕doSomething的签名看起来不依赖Size，但它的行为实际上和Size相关（会把不同的Size值传递给m_bar.doWork），本质是两个不同的函数实体，必须拥有唯一的名称来避免链接冲突。

即使某个模板类成员函数的实现完全不依赖模板参数，编译器依然会为不同实例化类的该函数生成唯一的修饰名称——不过部分编译器可能在链接阶段做优化，将完全相同的函数体合并，但这属于底层优化，不影响名称的唯一性。

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