为什么char的数组是模板参数，而const char*可以

Question

我正在尝试将字面字符串作为C ++ 14项目中的模板参数。 Google告诉我，我可以按照以下操作：

struct Test {
    static const char teststr[];

    template<const char* str>
    void p() {std::cout << str;}
};

const char Test::teststr[] = "Hello world!";

int main() {
    Test t;
    t.p<Test::teststr>();
}

它确实有效。

但是，如果我使用 const char*，而不是 const char [] 。它行不通。

struct Test {
    static const char* teststr;

    template<const char* str>
    void p() {std::cout << str;}
};

const char* Test::teststr = "Hello world!";

int main() {
    Test t;
    t.p<Test::teststr>();
}

现在它不起作用。编译器告诉我，'test :: teststr'不是有效的模板参数，因为'test :: teststr'是变量，而不是变量的地址。

好吧，我不知道这是什么意思。

Answer 1

编译器的错误消息已经足够清楚：

错误：'test :: teststr'不是有效的模板参数，因为'test :: teststr'是变量，而不是变量的地址

因此您需要：

#include <iostream>

struct Test {
    static const char* teststr;

    template<const char **str>
    void p() {std::cout << *str;}
};

const char* Test::teststr = "Hello world!";

int main() {
    Test t;
    t.p <&Test::teststr>();
}

然后它的工作 - 要点是，变量的内容不是编译时常数，而可变的地址（如果它是静态或全局变量） 是。

Answer 2

这只是根据C ++的规则：

模板非类型参数。
对于对象的指针，模板参数必须指定具有静态存储持续时间和链接（内部或外部）

的完整对象的地址

https://en.cppreference.com/w/cpp/language/template/template_parameters

全局字符阵列具有链接，而字符串则没有。

在C ++ 20中，这已更改，您可以将字符串文字用作模板参数。

Answer 3

问题是，在您的示例的情况下，静态数据成员 teststr 是一种指针类型，具有 string字符串文字的地址不允许可以从下面的引用语句中看到，

：

非类型模板参数的模板 - 应为转换的常数表达式（5.20）
模板参数的类型。对于参考或指针类型的非类型模板参数
常数表达式的价值不得指（或指针类型，不得是地址）：

• （1.1）subobject（1.8），

• （1.2）临时对象（12.2），

• （1.3）字符串文字（2.13.5），

因此，在您的示例2 teststr 的情况下，由于它是具有具有指针类型，因此无法使用字符串文字 的地址“ Hello World！” 。

---