C ++常量预处理器宏和模板

Question

所以说我有以下非常简单的宏，以及一些输出它的代码：

#define SIMPLEHASH(STRING) STRING[1] + STRING[2] + STRING[3]
std::cout <<  SIMPLEHASH("Blah");

这输出309，如果您查看程序集，您可以看到：

00131094  mov         ecx,dword ptr [__imp_std::cout (132050h)] 
0013109A  push        135h 
0013109F  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (13203Ch)] 

其中135h很好地转换成309小数。 一切都被编译成一个常数。

---

现在，假设你有一个模板类：

template<int X> class Printer{
public:
 void Print(){
  std::cout << X;
 }
};

然后以下将很好地打印数字32：

Printer<32> p;
p.Print();

---

这两件事都是单独的，当你试图将它们组合起来时就会出现问题：

#define SIMPLEHASH(STRING) STRING[1] + STRING[2] + STRING[3]
 Printer<SIMPLEHASH("Blah")> p;
 p.Print();

在visual studio中，这给出了：

1>。\\ ShiftCompare.cpp（187）：错误C2975：'X'：'Printer'的模板参数无效，预期的编译时常量表达式
1>。\\ ShiftCompare.cpp（127）：看'X'的声明

尽管SIMPLEHASH("Blah")可以在编译时减少到常量，如第一个例子中所示。

那么，有什么方法可以告诉编译器“先评估一下”？ 在预处理器评估中自然是“之前”的模板？

有谁看到我可以让这两个人一起工作？

Answer 1

在完全解析源之前评估宏，并且预处理与模板没有任何关系。

问题是您实例化Printer的模板参数必须是常量表达式，并且不能在常量表达式中使用字符串文字。