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

发布时间：2020-12-16 07:15:22 所属栏目：百科来源：网络整理

导读：我们熟悉基于函数参数的重载.但为什么我们不能基于非类型模板参数进行重载？通过这种重载,您不必为了重载而添加额外的函数参数,这可能会对运行时性能产生负面影响.唉,以下代码无法编译： template boolvoid func() {}template intvoid func() {}int main() {

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

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!