我们熟悉基于函数参数的重载.但为什么我们不能基于非类型模板参数进行重载?通过这种重载,您不必为了重载而添加额外的函数参数,这可能会对运行时性能产生负面影响.唉,以下代码无法编译:
template <bool>
void func() {}
template <int>
void func() {}
int main() {
func<0>();
}
产生的错误消息是
error: call of overloaded 'func()' is ambiguous
func<0>();
^
note: candidate: void func() [with bool <anonymous> = false]
void func() {}
^
note: candidate: void func() [with int <anonymous> = 0]
void func() {}
^
请注意,这可能比效率更高
void func(bool) {}
void func(int) {}
允许这种用法有什么问题吗?
最佳答案 Andrei Alexandrescu在IIUC的“现代C设计”中写到了这一点,看起来
std::integral_constant
基本上可以给出你想要的效果,不是吗?以下几项主要改进是什么?它基本上允许重载(至少是整数类型的)常量.
#include <type_traits>
using tt = std::integral_constant<bool, true>;
constexpr tt t;
using ft = std::integral_constant<bool, false>;
constexpr ft f;
void func(tt) {};
void func(ft) {};
int main()
{
func(t);
return 0;
}