c++ - 如果没有 if-constexpr 成功，触发编译时错误的最佳方法？

Question

我有一长串 if constexpr 语句，如果它们都不成功，我想触发一个编译时错误。

具体来说，我有一个抽象语法树，我想将其结果转换为我可能需要的一组特定类型。我有 AsInt()、AsDouble() 等在工作，但我需要能够根据提供的类型更动态地执行此操作。

就目前而言，我已经编写了一个模板化的 As() 成员函数，但它的错误检查很笨拙。具体来说，使用静态断言需要一个笨重的测试条件。这是一个简化版本:

template <typename T>
T As() {
  if constexpr (std::is_same_v<T,int>) return AsInt();
  if constexpr (std::is_same_v<T,double>) return AsDouble();
  ...
  if constexpr (std::is_same_v<T,std::string>) return AsString();

  static_assert( std::is_same_v<T,int>
                 || std::is_same_v<T,double>
                 || ...
                 || std::is_same_v<T,std::string>,
                 "Invalid template type for As()" );
}

如果所有条件都失败，是否有更简单的方法来触发静态断言(或等效断言)？

Answer 1

您需要重写 if constexpr 的序列s 作为 if constexpr ... else if constexpr ... 的链并得到最后的 else如果“达到”(即未丢弃)子句会触发编译错误。这可以使用“依赖 false 成语”来完成:

if constexpr (std::is_same_v<T,int>) {
    return AsInt();
} else if constexpr (std::is_same_v<T,double>) {
    return AsDouble();
} ... else if constexpr (std::is_same_v<T,std::string>) {
    return AsString();
} else {
    // this is still constexpr, so it will be discarded if any other branch was taken
    static_assert(dependent_false<T>::value, "invalid template type for As()");
}

哪里dependent_false定义为:

template <class T> struct dependent_false : std::false_type {};