Question

我正在编写自定义可变参数模板，该模板在编译时映射中执行查找。

问题是，每当在该映射中找不到该值时，我想触发编译时错误-最好使用描述性错误消息。

示例代码：

template<key_t k, class pair, class... pairs>
static constexpr value_t get_local(std::tuple<pair, pairs...>)
{
    return (pair::key == k) ? pair::value : get_local<k>(std::tuple<pairs...>{});
}

template<key_t k> static constexpr value_t get_local(std::tuple<>)
{
    // Trigger error!
}

我可以在代码的第二部分中将get_local保留为未定义状态，它实际上会触发链接器错误，但这不属于“描述性错误消息”类别。

我认为，静态断言在这里没有用。

我正在使用C ++ 17

Answer 1

立即解决的办法是delete超载：

template<key_t k> static constexpr value_t get_local(std::tuple<>) = delete;

这将提供一些描述性消息，我们将尝试使用不存在的基本情况。

或者，使用静态断言：

template<key_t k> struct always_false { static constexpr bool value = false; };

template<key_t k> static constexpr value_t get_local(std::tuple<>)
{
    static_assert(always_false<k>::value, "Hit bad case!");
    return std::declval<value_t>();
}

需要always_false实用程序来使断言条件相关，因此模板不会格式错误；不需要诊断，就像static_assert(false, ...)一样。

请记住，您要在自己的条件运算符中实例化此重载：

(pair::key == k) ? pair::value : get_local<k>(std::tuple<pairs...>{});

当您遇到具有单个元素的元组的情况时。条件表达式的两个“分支”都必须有效。最好使用if constepxr有条件地处理它：

if constexpr (pair::key == k) return pair::value;
else                          return get_local<k>(std::tuple<pairs...>{});

由于您确实指出pair::key == k可以用常量表达式求值。

调用constexpr函数的给定重载时触发编译时错误

1 个答案: