c++constexpr指针强制转换

c++ constexpr pointer casting

本文关键字:转换 指针 c++constexpr      更新时间:2023-10-16

下面的代码解释了问题

constexpr int x = *(reinterpret_cast<const int*>("abcd")); //wrong
constexpr int y = ("abcd")[0]*1l + ("abcd")[1]*256l + ("abcd")[2]*256*256l + ("abcd")[3]*256*256*256l; //ok

如何在constexpr表达式中进行这样的类型转换?

更新

这样做的原因:

我正在编写一组用于在编译时操作c样式字符串的模板。它使用这样的字符串表示:

template<char... args> struct String {static const char data[sizeof...(args)+1];};
template<char... args> constexpr const char String<args...>::data[sizeof...(args)+1] = {args...,0};

所以在我的程序中,我可以这样做:

String<'H','e','l','l','o',' ','w','o','r','l','d','!'>

但我不能这样做:

String<"Hello world!">

我有一个短期的部分解决方案:

template<int N,char... chrs> struct Int2String : Int2String<(N>>8),N,chrs...> {};
template<char... chrs> struct Int2String<0,chrs...> : String<chrs...> {};
...
Int2String<'Hell'>

它使用c多字符文字,因此仅适用于长度为4或更小的字符串,这取决于平台,但看起来要好得多。我可以接受这些限制,但有时我想使用库中定义的字符串,所以我不能将"引号"更改为"qoutes"。在上面的例子中,我试图将"abcd"转换为"abcd’。我希望这在内存中有相同的表示形式,所以指针转换看起来是个好主意。但我在编译时无法做到这一点。

因为:

("abcd")[0]

简单地等同于:

'a'

在表达式中得到整体提升:

'a' * 1l

但是像

(reinterpret_cast<const int*>("abcd")

正在尝试获取一个指向静态内存的指针,该指针仅在链接时已知。