c++ - 推导非类型模板参数 Unsigned Int / size_t

Question

我试图推断一个非类型模板参数。

#include <iostream>

template <unsigned int S>
void getsize(unsigned int s) { std::cout << s << std::endl; }

int main()
{
  getsize(4U); 
// Id like to do this without explicitly stating getsize<4U>(4);
// or even getsize<4U>(); 
// Is this possible?
}

但我收到错误：

deduce_szie_t.cpp: In function 'int main()':
deduce_szie_t.cpp:9:15: error: no matching function for call to 'getsize(unsigned int)'
deduce_szie_t.cpp:9:15: note: candidate is:
deduce_szie_t.cpp:4:6: note: template<unsigned int <anonymous> > void getsize(unsigned int)
deduce_szie_t.cpp:4:6: note:   template argument deduction/substitution failed:
deduce_szie_t.cpp:9:15: note:   couldn't deduce template parameter '<anonymous>'

是否可以推断出无符号整数，而不必显式声明模板参数？

我想让它干净如：getsize(4U) 我想避免写：getsize<4U>()

非常感谢您的帮助

Answer 1

可以从函数参数中推断出非类型模板参数，但不是以您想要的方式。它只能从函数参数的类型推断，而不是从值推断。

例如：

template <unsigned int S>
void getsize(int (*s)[S]) {
    std::cout << "pointer value: " << (void*)s << std::endl;
    std::cout << "deduced size: " << S << std::endl;
}

getsize(static_cast<int (*)[4]>(0));

Answer 2

以下代码4最少提及该数字：

template <unsigned int N>
void getsize()
{
    std::cout << N << std::endl;
}

int main()
{
    getsize<4>();
}

你不可能提到这个数字少于一次。

Answer 3

这样做有问题（我认为这就是你想要的？？）

#include <iostream>

template<typename Ty>
void getsize(Ty t) { std::cout << t << std::endl; };

int main(int argc, char *argv[])
{
    getsize(4U);
    return 0;
}