c++ - 关于 ints 和 static_assert 的特化

Question

我想编写一个仅适用于 2 个数字(例如 3 和 5)的模板函数，如果您尝试将其与其他数字一起使用，则会出现错误。

我可以这样做:

template<int x>
void f();

template<>
void f<3>()
{
   cout << "f<3>()\n";
}


template<>
void f<5>()
{
  cout << "f<5>()\n";
}

然后我可以用正常的方式调用这个函数:

f<3>();
f<5>();

它编译得很好，如果我尝试错误地使用我的函数:

f<10>();

编译器给我一个错误。

这种方法有两个问题:

1.- 这是标准吗？我可以使用整数专门化模板吗？

2.- 我不喜欢使用这种方法时出现的错误，因为错误不会告诉用户他做错了什么。我更喜欢写这样的东西:

template<int x>
void f()
{
    static_assert(false, "You are trying to use f with the wrong numbers");
}

但这不能编译。看起来我的编译器 (gcc 5.4.0) 正在尝试首先实例化主模板，因此它给出了错误(static_assert)。

感谢您的帮助。

如果您想知道我为什么要这样做，是因为我正在学习如何对微 Controller 进行编程。在微 Controller 中，您有一些引脚只能做一些事情。例如，引脚 3 和 5 是您可以在其中生成方波的引脚。如果在应用程序中我想生成一个方波，我想编写如下内容:

square_wave<3>(frecuency);

但是，如果几个月后我想在另一个具有不同微 Controller 的应用程序中重用(或更改它)这段代码，我希望我的编译器对我说:“呃，在这个微 Controller 中你不能生成方波在引脚 3 和 5 中。而是使用引脚 7 和 9"。而且我认为这可以让我省去很多麻烦(或者也许不会，我真的不知道。我只是在学习如何对微 Controller 进行编程)。

Answer 1

1.- Is this standard? Can I specialized a template with ints?

是的。

2.

template<int x>
void f()
{
    static_assert(false, "You are trying to use f with the wrong numbers");
}

您需要将静态断言条件更改为依赖于模板参数值的条件。简单到

template <int x>
void f()
{
    static_assert(x - x, "You are trying to use f with the wrong numbers");
}

应该可以。

---

顺便说一句，值得注意的是，通常认为专门化函数模板并不是一个好主意，因为专门化与函数重载的交互很糟糕(或者至少有些不可预测)。因此，通常使用函数对象可能是更好的主意:

template <int I>
struct do_f {
    static_assert(I - I, "You are trying to use f with the wrong numbers");
};

template <>
struct do_f<3> {
    void operator()(args...) { ... }
};

template <>
struct do_f<5> {
    void operator()(args...) { ... }
};

然后你可以写一个调用函数对象的包装函数:

template <int I>
void f(args...) {
    do_f<I>{}(args...);
}