我正在尝试制作一个
正如您所看到的,存在一个问题 - 在constexpr函数中似乎不可能有常量表达式作为函数参数,因此即使传入的值是常量表达式,也无法对参数进行
因此,我采用了宏来检查字符串长度,并放弃了对字符的检查。
有没有解决这个问题的方法?还有,如何轻松确保该函数实际上在编译时被评估?
编辑:这与C++11 - static_assert within constexpr function?不同-或者至少相同的答案不起作用-请参见下面的评论。
编辑2:Shafik的出色答案适用于大小问题,但不适用于检查十六进制字符。据我所知,即使使用此...
因为
constexpr
函数,将UUID字符串(例如"f6ece560-cc3b-459a-87f1-22331582216e"
)转换为类似于以下内容的类:class UUID {
public:
explicit UUID(uint8_t bytes[]); // Must be 16 byte array.
这是我目前所得到的:
// Compile time hex conversion of a single character into a nibble (half-byte).
constexpr uint8_t hexToNibble(char a)
{
// Does not work:
// static_assert(a >= '0' && a <= '9' || a >= 'a' && a <= 'f' || a >= 'A' && a <= 'F', "Invalid hex character");
return a >= '0' && a <= '9' ? (a - '0') :
a >= 'a' && a <= 'f' ? (a - 'a' + 10) :
a >= 'A' && a <= 'F' ? (a - 'A' + 10) : 0;
}
// Compile time hex conversion of two characters into a byte.
constexpr uint8_t hexToByte(char a, char b)
{
return (hexToNibble(a) << 4) + hexToNibble(b);
}
// Compile time string length.
constexpr int strlenConst(const char* str)
{
return *str ? 1 + strlenConst(str + 1) : 0;
}
// Convert a UUID string to an array of bytes.
// Example: "f6ece560-cc3b-459a-87f1-22331582216e".
constexpr std::array<uint8_t, 16> UUIDFromString(const char* str)
{
// This does not work:
// static_assert(strlenConst(str) == 36, "Invalid GUID length");
return std::array<uint8_t, 16>{
hexToByte(str[0], str[1]),
hexToByte(str[2], str[3]),
hexToByte(str[4], str[5]),
hexToByte(str[6], str[7]),
hexToByte(str[9], str[10]),
hexToByte(str[11], str[12]),
hexToByte(str[14], str[15]),
hexToByte(str[16], str[17]),
hexToByte(str[19], str[20]),
hexToByte(str[21], str[22]),
hexToByte(str[24], str[25]),
hexToByte(str[26], str[27]),
hexToByte(str[28], str[29]),
hexToByte(str[30], str[31]),
hexToByte(str[32], str[33]),
hexToByte(str[34], str[35]),
};
}
#define MAKE_UUID(var, str) \
static_assert(strlenConst(str) == 36, "Invalid GUID length for " #var); \
const UUID var(UUIDFromString(str).data());
// Works but doesn't check string length.
const UUID UUID_1(UUIDFromString("f6ece560-cc3b-459a-87f1-22331582216e").data());
// Checks string length but uses an ugly macro.
MAKE_UUID(UUID_2, "f6ece560-cc3b-459a-87f1-22331582216e")
正如您所看到的,存在一个问题 - 在constexpr函数中似乎不可能有常量表达式作为函数参数,因此即使传入的值是常量表达式,也无法对参数进行
static_assert
检查。因此,我采用了宏来检查字符串长度,并放弃了对字符的检查。
有没有解决这个问题的方法?还有,如何轻松确保该函数实际上在编译时被评估?
编辑:这与C++11 - static_assert within constexpr function?不同-或者至少相同的答案不起作用-请参见下面的评论。
编辑2:Shafik的出色答案适用于大小问题,但不适用于检查十六进制字符。据我所知,即使使用此...
// Compile time hex conversion of a single character into a nibble (half-byte).
template<char a>
constexpr uint8_t hexToNibble()
{
static_assert(a >= '0' && a <= '9' || a >= 'a' && a <= 'f' || a >= 'A' && a <= 'F', "Invalid hex character");
return a >= '0' && a <= '9' ? (a - '0') :
a >= 'a' && a <= 'f' ? (a - 'a' + 10) :
a >= 'A' && a <= 'F' ? (a - 'A' + 10) : 0;
}
// Compile time hex conversion of two characters into a byte.
template<char a, char b>
constexpr uint8_t hexToByte()
{
return (hexToNibble<a>() << 4) + hexToNibble<b>();
}
这不起作用:
// Convert a UUID string to an array of bytes.
// Example: "f6ece560-cc3b-459a-87f1-22331582216e".
template <size_t N>
constexpr std::array<uint8_t, 16> UUIDFromString(const char (&str)[N])
{
// Note you have to include the null byte.
static_assert(N == 37, "Invalid GUID length.");
return std::array<uint8_t, 16>{
hexToByte<str[0], str[1]>(),
hexToByte<str[2], str[3]>(),
因为
str[0]
不是常量表达式。
hexToByte
函数中,那个移位应该是 4,而不是 8。 - Drew McGowen