我正在编写一个用户定义的string
字面值,用于将月份名称转换为数字。此文字的预期用法类似于
"Nov"_m
应返回11
。
目前我的代码看起来像
constexpr Duration operator ""_m(const char* str, size_t len)
{
return convert_month_to_int(str, len);
}
其中constexpr int convert_month_to_int(const char, size_t)
是执行实际转换的函数(如果月份名称不正确,则返回-1
。)
问题是,如果传递给此文字的字符串没有任何月份的名称,我想显示某种编译错误。我尝试以下列方式使用static_assert
:
constexpr Duration operator ""_m(const char* str, size_t len)
{
static_assert(convert_month_to_int(str, len) > 0, "Error");
return convert_month_to_int(str, len);
}
但这不起作用,因为编译器不确定convert_month_to_int(str, len)
是否为常量表达式。
有没有办法实现这种行为?
答案 0 :(得分:3)
我同意建议使用枚举。
但无论如何,在constexpr
函数中发出这样的错误信号的常用方法是抛出异常。
constexpr Duration operator ""_m(const char* str, size_t len)
{
return convert_month_to_int(str, len) > 0 ? convert_month_to_int(str, len) : throw "Error";
}
例如,另请参阅this question。
答案 1 :(得分:3)
我以不同的方式解决了这个问题,既不使用枚举也不使用字符串文字,即使未构造为constexpr
,也会检测到错误的月份名称:
#include "date.h"
int
main()
{
using namespace date::literals;
auto m1 = nov; // ok
static_assert(unsigned{nov} == 11, ""); // ok
auto m2 = not_a_month;
test.cpp:86:15: error: use of undeclared identifier 'not_a_month'
auto m2 = not_a_month;
^
1 error generated.
}
我使用的方法是定义class type month
documented to be a literal class type。
我然后create constexpr
instances of each month:
CONSTDATA date::month jan{1};
CONSTDATA date::month feb{2};
CONSTDATA date::month mar{3};
CONSTDATA date::month apr{4};
CONSTDATA date::month may{5};
CONSTDATA date::month jun{6};
CONSTDATA date::month jul{7};
CONSTDATA date::month aug{8};
CONSTDATA date::month sep{9};
CONSTDATA date::month oct{10};
CONSTDATA date::month nov{11};
CONSTDATA date::month dec{12};
(CONSTDATA
是一个宏来帮助那些与C ++ 11不兼容的编译器constexpr
支持limp)
我也在一周中的几天使用相同的技术。
以上所有内容都是使用clang -std=c++11
编译的。它也适用于gcc。 constexpr
位在VS中被破坏,但其他一切都有效,包括在编译时检测错误的月份名称。