编译时间常数索引是否是编译时间常数数组本身的编译时间常数？

Question

我正在尝试玩花哨的游戏，它让 C++ 编译器在编译时合成常量字符串的哈希值。这可以让我用单个标识符替换字符串，从而大大节省代码大小和复杂性。

为了编程的清晰性和易用性，如果我可以在编译时检查和计算简单的内联字符串，例如“Hello”，它是指向编译时常量字符的编译时常量指针。

如果我可以在编译时索引这些，我可以制作一个模板元程序来做我想做的事。但尚不清楚 C++ 标准是否将 ct-constant 数组的 ct-constant 索引本身视为 ct-constant。

换个方式问，

 const char v="Hello"[0];

是非常有效的 C++（和 C）。但是值 v 是编译时间常数吗？

我已经相信答案是否定的，但实际上一些编译器在没有任何警告的情况下接受它，更不用说错误了。例如，以下代码编译并运行，甚至没有来自英特尔 C++ 编译器的警告：

#include <iostream>
const char value="Hello"[0];
template<char c>  void printMe()
{
  std::cout << "Template Val=" << c << std::endl;
}

int main()
{
  const char v='H';
  printMe<'H'>();
  printMe<v>();
  printMe<value>(); // The tricky and interesting case!
}

然而，微软的编译器根本不会编译，给出一个合理连贯的错误信息，关于使用带有内部链接的对象的模板。

我怀疑我的问题的答案是“不，即使对具有常量索引的常量数组的任何数组引用在编译时也是常量”。这是否意味着英特尔编译器的成功执行是英特尔编译器中的一个错误？

Answer 1

它也不适用于 GCC。

然而，在语言兼容的观点之外，编译器优化器确实将其视为一个字符常量，这很好。我利用这一事实来允许预处理器生成字符常量（通过使用*#foo）。参见文件hdr.h 中的http://cvs.openbsd.org/cgi-bin/query-pr-wrapper?full=yes&numbers=1652。使用该宏，您可以编写

DECR(h, e, l, l, o)

而不是

DECR('h', 'e', 'l', 'l', 'o')

在我看来，更具可读性。 :-)

Answer 2

好问题，是的，这是可以做到的，并且符合标准，它适用于 Microsoft、GCC 和 Intel，问题是你的语法错误:)

一秒钟我会做一个样品... 好的，就到这里。这个示例是有效的 C++，我经常使用它，但实际上大多数程序员不知道如何正确使用它。

template<char* MSG>
class PrintMe
{
public:
    void operator()()
    {
        printf(MSG);
    }
};

char    MyMessage[6] = "Hello"; //you can't use a char*, but a char array is statically safe and determined at compiletime

int main(int argc, char* argv[])
{
    PrintMe<MyMessage> printer;
    printer();
    return 0;
}

Answer 3

这里的相关区别是“积分常量表达式”和单纯的编译时常量之间的区别。 “3.0”是一个编译时常量。 “int(3.0)”也是一个编译时常量。但只有“3”是 ICE。 [见 5.19]

More details at boost.org