如果从不调用，类模板的成员函数是否不会被实例化

Does the member function of class template not get instantiated if never be called?

本文关键字：函数 成员 是否 实例化 调用 如果      更新时间：2023-10-16

我刚刚开始了解一些模板基础知识。事实上，到目前为止，我只是接受了这一事实，但我真的不明白这被打破的原因：

template <typename T,bool hasFoo>
struct Broken {
    void foobar(){
        if (hasFoo){T::foo();}
        else { std::cout << "BROKEN" << std::endl;}
    }
};
int main(){
    Broken<int,false> t;
    t.foobar();
}

而这是有效的：

template <typename T>
struct Works {
    void foo(){T::foo();}
    void bar(){std::cout << "WORKS" << std::endl;}
};
int main(){
    Works<int> t;
    t.bar();
}

不知怎么的，这是显而易见的，但我只想确保我没有错过什么：这是否有效，因为如果从未调用函数Works<int>::foo()，它就不会被实例化？

PS：为了避免误解：我知道Broken为什么坏了，我最近有一个与此相关的问题，我得到了很好的答案，但在那之后，我认为Works<int>也不应该编译，直到我意外地传递了一个"错误"的模板参数，并对它确实编译感到惊讶。

如果函数Works:：foo（）从未被调用，那么它就不会被实例化？

是的，类模板的非虚拟成员函数在需要之前不会被实例化。

根据标准，§12.8.11/10隐式实例化[temp.inst]：

（重点矿井）

实现不应隐式实例化函数模板，变量模板，成员模板，非虚拟成员函数，成员类，类的静态数据成员模板或constexpr-if语句的子语句（[stmt.if]），除非需要这样的实例化。

要回答标题中的问题，不，不需要调用它来实例化。

此代码不进行编译，但从未调用foo。

template <typename T>
struct Works {
    void foo(){T::foo();}
    void bar(){}
};
// this requires foo being instantiated because it may be called from
// elsewhere - the compiler cannot know.
template Works<int>; 
int main(){
    Works<int> t;
    t.bar();
}

现场：https://godbolt.org/g/u4frVZ

这就是为什么标准说，除非需要实例化，否则它不会被实例化，而这方面的规则比是否调用它更复杂。

相关文章：