c – 基于非类型模板参数的重载

我们熟悉基于函数参数的重载.但为什么我们不能基于非类型模板参数进行重载?通过这种重载,您不必为了重载而添加额外的函数参数,这可能会对运行时性能产生负面影响.唉,以下代码无法编译:

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;
}
点赞