模板参数推导和统一

Template argument deduction and unification

本文关键字：参数      更新时间：2023-10-16
template<typename T>
void f1(T t);
template<typename T>
void f2(const T t);

template<typename T>
void f3(T& t);
template<typename T>
void f4(const T& t);

template<typename T>
void f5(T&& t);  //universal reference
template<typename T>
void f6(const T&& t);

这六种函数模板有什么区别？

模板参数推导和统一（一般PLT概念）之间有什么关系？

===评论：

我知道从 http://en.cppreference.com/w/cpp/language/template_argument_deduction 那里得到一些细节。但是这个网站仍然很困惑。也许更清晰的描述有助于处理模板参数推导的过程。

对于您的PLT相关问题，恕我直言，统一在定义函数时推断出类型。参数类型是根据函数本身如何使用参数推导的。

模板参数函数在使用时被实例化。参数类型从函数调用方传递。然后，编译器检查参数类型是否符合函数体中参数的使用方式。这听起来像是"动态类型"，它可能允许更正确的代码，但可能会拒绝较少的坏代码。

以下 C++14 代码有效。auto 参数类型在内部使用模板实现。

([] (auto f, auto b) {
    return b ? f(string("str")) : MyIntToString(f(MyInt(422)));
})([] (auto x) { return x; }, true)

使用普通统一时，以下 Haskell 风格的代码将无法通过类型检查器。

(f b -> if b
         then f 1
         else StringToNumber(f "123")) (x -> x) True
"

f"应同时是"Int->t1"和"String->t2"，这不会统一。

Hindley-Milner也无济于事，因为它在"let"上推广，但这里只是一个lambda论点。

相关文章：