static char const* MY_CONSTANT = "Hello World";
但是,指针本身不是const.下面这样做不太合适吗？
static char const* const MY_CONSTANT = "Hello World";
有两个目标,这样的常量全局,我想：
>不允许修改字符串
>不要让变量指向其他任何东西
我只是假定定义常量字符串时需要这2个目标.
另一个有趣的事情是,我被允许这样做：
int main()
{
auto MY_CONSTANT = "";
MY_CONSTANT = "Another String";
}
这告诉我自动将字符串推断为char const *,而不是char const * const.
所以我有两个主要问题：
>定义常量c风格字符串最合适的方法是什么(我想,常量指针是什么,更普遍的问题？).你为什么选择一个或另一个？
>关于我自己的例子,它是有道理的,为什么它选择char const *(因为它是数组的数组是常量,而不是指针本身).我可以自动推断到char const * const或者我可以更改代码,使其导致这样的类型？
解决方法
constexpr char const* MY_CONSTANT = "Hello World";
第一个例子：
static char const* MY_CONSTANT = "Hello World";
只是说我有一个指向一个具有静态存储持续时间的char const的指针,如果它不在一个函数之外,它将使它成为一个全局的.
如果我们需要指针也是const,那么我们需要你介绍的第二个表单.这一切都取决于指针是否确实应该是const.在大多数情况下,你的代码没有顶级const的原因是因为他们忘记把它放在不是因为它们并不意味着指针也是const.
static如果你想要一个const成员是每个实例或每个类,static就会有所不同：
class A
{
char const* const const_per_instance = "Other Const String";
public:
constexpr static char const* const const_per_class = "Hello World" ;
};
如果我们要求const是每个类,那么我们需要使用静态,否则不是.如果您不允许使用constexpr,该示例会略有变化：
class A
{
char const* const const_per_instance = "Other Const String";
public:
static char const* const const_per_class ;
};
char const* const A::const_per_class = "Hello World" ;
但是精华是一样的只是语法是不同的.
对于您的第二个问题,Gotw #92表示自动下降顶级const,给出的一个示例如下：
const int ci = val; auto g = ci;
它说：
The type of g is int.
Remember,just because ci is const (read-only) doesn’t have any
bearing on whether we want g to be const. It’s a separate variable. If
we wanted g to be const,we would have said const auto as we did in case c above
正在提及的例子如下：
int val = 0; //.. const auto c = val;
