c++ - 编译时常量整数的模板特化

Question

是否可以专门化一个函数（或至少一个类）以在常量（编译时！）整数和所有其他参数之间进行选择？如果是这样，最好只对特定的常量值进行专门化 (enable_if)。

在下面的示例中，这意味着输出“var”、“const”和“var”，而不是三个“var”。

#include <type_traits>
#include <iostream>
using namespace std;

struct test
{
    template <typename T>
    test& operator=(const T& var) { cout << "var" << endl; return *this; }
    template <int n> // enable_if< n == 0 >
    test& operator=(int x) { cout << "const" << endl; return *this; }
};

int main()
{
    test x;
    x = "x";
    x = 1;
    int y = 55;
    x = y;
    return 0;
}

更新：编辑代码以强调它必须是编译时常量。

Answer 1

要进入var, const, var您的示例，您可以这样做。

struct test {
  template <typename T>
  test& operator=(const T& var) { cout << "var" << endl; return *this; }
  test& operator=(int &&x) { cout << "const" << endl; return *this; }
};

它适用于所有临时工，但它会失败：

const int yy = 55;
x = yy;

要使其也适用于这种情况，您需要添加：

test& operator=(int &x)       { cout << "var" << endl; return *this; }
test& operator=(const int &x) { cout << "const" << endl; return *this; }