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

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 。