编译时常量数组本身的编译时常量索引是编译时常量吗？

Question

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

为了编程的清晰度和简便性，如果我可以在编译时使用简单的内联字符串（如“Hello”）进行检查和计算，这些字符串是指向编译时常量字符的编译时常量指针，那就太棒了。

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

以另一种方式询问，

 const char v="Hello"[0];

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

我已经相信答案是否定的，但实际上一些编译器甚至没有任何警告就接受它，更不用说错误了。 例如，以下代码编译并运行时甚至没有来自 Intel 的 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!
}

但是，Microsoft 的编译器根本不会编译，并给出有关使用具有内部链接的对象的模板的相当一致的错误消息。

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

Answer 1

它也不适用于 GCC。

但是，从语言合规性的角度来看，编译器优化器确实将其视为字符常量，这很好。 我利用这一事实来允许预处理器生成的字符常量（通过使用 *#foo）。 请参阅 http://cvs.openbsd.org /cgi-bin/query-pr-wrapper?full=yes&numbers=1652，位于文件 hdr.h 中。 在我看来，有了这个宏，你可以编写

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]

更多详情请访问 boost.org