类具有模板化的成员函数，是否为同一类？

Question

struct Foo
{
    template <typename T> void f(T t) {};
};

std::vector<Foo> V;

V.push_back(Foo());
V.push_back(Foo());
V.push_back(Foo());
V.push_back(Foo());

下一个；让我们调用模板化成员函数的不同实例：

V.at(0).f<int>(1);
V.at(0).f<char>(2);
V.at(1).f<float>(3.4f);
V.at(2).f<double>(5.6);
V.at(3).f<long>(7);

最后是问题：

Foo类的所有实例都来自同一个类？看来答案是肯定的但是...第一个Foo实例的末尾有f成员函数的两个重载：

[0] Foo::f(int t);
[0] Foo::f(char t);

[1] Foo::f(float t);
[2] Foo::f(double t);
[3] Foo::f(long t);

Answer 1

所有重载都是由foo::f成员函数的编译器生成的，您可以认为它已经手工编写了所有重载。

重载生成（模板实例化）不是基于实例的，而是基于类的，类本身会将所有模板实例化（就像在类主体中为给定的类型T编写所有不同类型的重载一样）

所以在你的例子中是这样的：

struct Foo 
{     
   template <typename T> void f(T t) {}; 
}; 

struct Foo 
{     
   void f<int>(int t) {}; 
   void f<char>(char t) {}; 
   void f<float>(float t) {}; 
   ...
   /// all the other uses of f with different types, anywhere in your code.
};