Question

在关于C ++的书籍中，当我们在C ++中使用模板时，为什么我们教会使用函数重载？

显示模板的有效（和正确）用法不是更好吗？与大多数C ++书籍中教授函数重载的地方相反？

或者，是否有充分的理由使用一个而不是另一个？

Answer 1

当您希望对可能不同的类型执行相同的操作时，模板提供了一个优势。一个简单的例子：

template <typename T>
T foo(const T& a, const T& b) { return a + b; }

如果要根据类型应用不同的操作，可以使用重载：

struct Foo{ void foo() const {} };

void foo(int i) { std::cout << "i = " << i << "\n"; }
void foo(const Foo& f) { f.foo(); }

您可以使用模板和模板专业化来实现上述目标，但这种专业化应该代表一般情况的一些例外。

Answer 2

模板不能使用不同数量的参数。超载可以。此外，模板表明您可以对任何数据类型进行操作，但实际上，绝大多数模板都只是特殊化（在您的系统中），因此表示这一点毫无意义。此外，重载可以是virtual，模板专精也不能。专业化也不能与基地的签名不同。

template<typename T> void foo(T& t);
template<> void foo<std::string>(std::string* ptr); // Illegal
void foo(std::string* ptr); // Legal

这会严重限制与当前系统相比可以产生的过载类型。

Answer 3

如果要对许多不同的数据类型执行相同的操作，通常使用模板。

当您想对某些数据集执行不同的操作时，通常会使用函数重载。

在您希望对许多不同数据类型执行相同操作集的情况下，模板的优点是编译器将在编译时为您处理您将来可能创建的任何可能的新类型模板化的功能。如果您要使用函数重载，则每次创建要传递给特定函数的新类型时都必须创建一个新的函数重载。

Answer 4

模板（通常）要求您使用相同的语法对所有（支持的）类型执行操作。

函数重载是（或应该）类似地使用，但允许您使用不同的语法来执行不同类型的操作。也就是说（尽管您没有），您可以用不同的方式表示值。一个明显的例子是C库中的atan和atan2。使用atan，我们传递“上升到”运行“的比率，然后我们回到比率所代表的角度。使用atan2我们传递上升值并单独运行（计算大致相同的结果，但由于它给出了更多的输入数据，也可以产生更完整的结果。）

虽然这些在C中实现为完全独立的函数，但如果它们从一开始就用C ++编写，那么对于一个和两个参数使用单个名称（例如，atan）重载是完全合适的。：

double atan(double);           // equivalent to current atan
double atan(double, double);   // equivalent to current atan2

模板（缺少专业化，几乎只是覆盖了模板本身提供的内容）并没有提供这样调用语法的差异。

重载也受到更多约束 - 您为要支持的每个特定类型提供一个重载（但是如果您使用指针或引用，那么它们也可以支持派生类型）。使用模板，单个模板可以（至少可能）应用于任何类型。

Answer 5

只是juanchopanza答案的补充：

对于函数重载，您还可以改变参数的数量，这可能很方便。

一个简单的例子，如果你有一些带有以下声明的函数：

void foo(int i, int j);

但是你经常用第一个参数0来调用foo，你可以编写以下函数来节省一些输入。

void foo(int j) {
  foo(0, j);
}

Answer 6

因此 overloading 和 template 都具有同等用途。

关于它们的一行 difference 是

overloading 用于当我们具有各种功能时，执行 SIMILAR 操作。

template 用于当我们具有各种功能时，执行 IDENTICAL 操作。

There is very big differnce between "SIMILAR" and "IDENTICAL".

函数重载与函数模板 - C ++

6 个答案: