为什么 C++1* 仍然需要模板关键字来代替 Full Duck Typing

Question

许多年前，（至少对我而言）静态 C++ 多态性似乎是一致的。 Python 等语言依赖于duck typing，你有：

def fn(foo, bar):
    foo.baz(bar.bo())

这个想法是，如果它适当地“嘎嘎”，那么语言就可以了。

相反，在 C++ 中，您必须解释它是什么“动物”：

void fn(foo_type foo, bar_type bar);

对于“家庭王国”，您需要明确使用 template 关键字：

template<class Foo, class Bar>
void fn(Foo foo, Bar bar);

---

有了像auto ...() -> decltype 这样的新功能返回类型，尤其是generic lambdas，似乎有一些更像非模板Python 的鸭子类型：

[] (auto container) { return container.size(); };

---

那么，我的问题是，为什么仍然需要 template 关键字？为什么不完全接受（可选）鸭式打字：

// Takes a foo_type and a bar_type 
void fn(foo_type foo, bar_type bar);

// Takes some "foo-quacking" type, and a bar_type
void fn(auto foo, bar_type bar);

// Etc.

Answer 1

作为Concepts 功能的一部分，它实际上几乎就在门口，并且一些编译器已经实现了它！例如，在 GCC 4.9 中，如果您指定 -std=c++1y，您实际上可以编译并运行以下内容：

auto print_arg(auto arg) {
  std::cout << arg;
}