看不懂C++11模板函数参数推导

Can't understand C++11 template function parameter deduction

本文关键字：参数 函数 不懂 C++11      更新时间：2023-10-16
template <int T> struct int2type{};
template<int I>
void func( int2type<I> )
{
     printf("int_val: %in", I);
}
int main(int argc, char *argv[])
{
    func( int2type<10>() ); 
}

当然要打印10。

我对模板和类型扣除的工作原理有一些基本概念，但是我不了解此代码。I背后的魔力是什么？我们如何从int2type实例中知道I传递给func？

模板参数扣除由C 14标准的部分[temp.deduct.call]涵盖。它太大了，无法完全复制，但要旨是编译器将将参数类型int2type<10>与参数类型int2type<I>进行比较，并尝试找到I的值，以使两者相同。

在[temp.deduct.type]/9和/17中指定的是，参数 class-template-name<i>，其中 i是一个非类型模板参数，与参数 class-template-name<n>匹配，其中 n是同一类型的参数。

相关文章：