即使在Visual C ++编译器中，在模板中传递“ const char”参数也有些麻烦

Question

大家好，新年快乐！

我在传递模板中的“ const char”参数时遇到了一些麻烦，即使在上一版Visual C ++编译器2013年11月CTP中！ 这是简单的代码，在最新的Visual C ++编译器中不起作用，但可以，对于带有选项“ std = c ++ x0”的“ g ++”，是的，

#include <stdlib.h>


template<char _parameterChar>
class A
{
    char varChar;
public:
    A(){ varChar = _parameterChar; }
    ~A(){}
};


int main(int argc, char* argv[])
{
    const char a_1 = 'a';
    const char a_2 = "abcdef"[0]; // This instruction gets a constant 'a'.


    A<'a'> first_A; // compile ok!
    A<a_1> second_A; // compile ok!
    A<a_2> third_A; // --->  This not compiles!! Why not ?!?!?!

    return 0;
}

Visual C ++编译器给出了该错误，

error C2971: 'A' : template parameter '_parameterChar' : 'a_2' : a local variable cannot be used as a non-type argument

我认为这是编译器的一种限制，因为“ abcdef” [0]可以在编译时获取const char'a'，不是吗？

Answer 1

简单的答案是该标准说"abcdef"[0]不是常量表达式。 从逻辑上讲，编译器可能会解决该问题，但是该标准未在允许的操作中列出它。 对表达式的求值涉及从左值到右值的转换，并且仅允许非常有限数量的左值到右值的转换。 （实际上，这在C ++ 11中可能是合法的。但是，如果是这种情况，它将是一项新功能，并且可能不会由您的编译器实现。）

Answer 2

詹姆斯·坎泽（James Kanze）说，“ abcdef” [0]不是常数表达式，但我认为它是标准的。

标准5.19.3

整数常量表达式是整数或无范围枚举类型的表达式，它隐式转换为prvalue ，其中转换后的表达式是核心常量表达式。

标准5.19.2

左值到右值的转换（不是核心常量表达式），除非将其应用于：

整数或枚举类型的非易失性glvalue，它引用具有先前初始化的非易失性const对象，并使用常量表达式进行初始化[注意：字符串文字（2.14.5）对应于此类对象的数组。 （尾注） ，

Answer 3

当前，此代码可以在Visual Studio 2017（Windows）上按预期方式编译和运行。 无需进行特定的配置设置，只需足够的默认控制台应用程序即可。 不幸的是，我无法在VS的早期版本上进行检查。