我们如何处理用户定义文字输入中的错误？

Question

假设我想定义一个整数百分比，如下所示：

constexpr int operator""_percent (char const * literal)
{
    int percent(0);
    for(; *literal != '\0'; ++literal)
    {
        if(*literal >= '0' && *literal <= '9')
        {
            percent *= 10;
            percent += *literal - '0';
            if(percent > 100)
            {
                ...what do we do here?...
            }
        }
        else
        {
            ...what do we do here?...
        }
    }
    return percent;
}

我正在考虑投掷，但我记得constexpr和throw不匹配（或者仅在 C++14 及更早版本中？）。 这种情况下的约定是什么？ 在用户定义的文字运算符中报告错误的正确方法是什么？

注意：我目前使用的是 C++17，但计划很快切换到 C++20。

Answer 1

使用 C++20，您可以使用文字运算符consteval而不是constexpr 。

出错时，您可以抛出异常。 throw表达式本身在constexpr / consteval function 中是允许的，但实际上 throw 使它不是一个常量子表达式。 由于consteval function 调用必须是常量表达式，因此程序在错误时将是不正确的，编译器必须对其进行诊断。

---

对于 C++17 您仍然可以抛出异常，但consteval不可用。

对于有效的文字，这不是问题。 只要不计算throw表达式，对文字运算符的调用仍然可以是常量子表达式。

但是，如果文字无效，如果它没有在需要常量表达式的上下文中使用，您通常不会获得编译时诊断。

相反，当评估文字时，您将在程序执行期间抛出异常。 这可能是不可取的，例如，如果应该在noexcept function 中使用文字。

或者，您也可以使用assert而不是抛出异常。 由于 C++17 如果参数计算结果为true ，则保证它是一个常量子表达式。

如果断言失败，您也不会收到编译时错误，而是在评估文字时程序将中止。

使用NDEBUG宏，可以在发布版本中删除断言。 这不会影响异常规范，但您仍需要决定如何处理发布版本中未在调试版本测试中发现的错误。 这可能对您的使用不够安全。

我认为一般没有任何 C++17 方式强制编译时错误。

---

正如我在对该问题的评论中提到的，我怀疑我的建议是否正确/良好。 所以也请阅读它们。