gsl::cstring_span 不支持 constexpr 吗?如果不是,我为什么要使用它?
Doesn't gsl::cstring_span support constexpr? If not, why should I use it?
我有一段代码如下所示:
constexpr gsl::cstring_span<> const somestring{"Hello, I am a string"};
它拒绝编译并显示一条消息,抱怨某处正在调用某些非 constexpr 函数。
这是为什么?这似乎是需要支持的最重要的用例。关键是要尽可能检查编译时边界。涉及常量字符串文字的编译时边界检查似乎是最常使用的东西。但是,如果不能声明 constexpr
,就不会发生这种情况。这是怎么回事?
我认为问题在于字符串文字的数组类型为 const char
并且以 null 结尾。但是谁能说您是从空终止数组构造 cstring_span
?
因为 cstring_span
的构造函数会进行物理检查以删除空终止符(如果存在),否则接受数组的全长。
我不确定 constexpr
表达式有多强大,但 可能 可以 constexpr
方式实现它。您可以在这里创建一个问题来询问它:
我有一段代码如下所示:
constexpr gsl::cstring_span<> const somestring{"Hello, I am a string"};
它拒绝编译并显示一条消息,抱怨某处正在调用某些非 constexpr 函数。
这是为什么?这似乎是需要支持的最重要的用例。关键是要尽可能检查编译时边界。涉及常量字符串文字的编译时边界检查似乎是最常使用的东西。但是,如果不能声明 constexpr
,就不会发生这种情况。这是怎么回事?
我认为问题在于字符串文字的数组类型为 const char
并且以 null 结尾。但是谁能说您是从空终止数组构造 cstring_span
?
因为 cstring_span
的构造函数会进行物理检查以删除空终止符(如果存在),否则接受数组的全长。
我不确定 constexpr
表达式有多强大,但 可能 可以 constexpr
方式实现它。您可以在这里创建一个问题来询问它: