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 方式实现它。您可以在这里创建一个问题来询问它:

https://github.com/Microsoft/GSL/issues