C++ 在 constexpr if 中使用 string_view

Question

我想像这样在编译时比较字符串视图：

constexpr bool isMatch(const string_view str) {
  if constexpr (str == "firstMatch"sv) {
      return true;
  } else if constexpr (str == "secondMatch"sv) {
     return true;
  }
  // ....
}

函数是这样调用的：

isMatch("something"sv);

这显然是不变的，因为它就在代码中。

但是编译器说 if constexpr 中的表达式'没有计算为常量'。但是 string_view 的 operator== 是 constexpr。一个解决方案是声明参数 constexpr 但这是不可能的。

那么我怎样才能有一个 constexpr 函数在编译时检查这些匹配？

Answer 1

我怎样才能有一个 constexpr 函数来检查这些匹配项

只需从ifs 中删除constexpr。

constexpr bool isMatch(const string_view str) {
  if (str == "firstMatch"sv) {
      return true;
  } else if (str == "secondMatch"sv) {
     return true;
  }
  return false;
}

std::string_view::operator== 是 constexpr 所以一切都很好。

在编译时？

在编译时上下文中

调用你的函数。喜欢：

#include <array>
#include <cassert>
#include <string_view>
using namespace std::literals;

constexpr bool isMatch(const std::string_view str) {
  if (str == "firstMatch"sv) {
      return true;
  } else if (str == "secondMatch"sv) {
     return true;
  }
  return false;
}

int main() {
    std::array<int, isMatch("secondMatch"sv)> arr;
    static_assert(isMatch("firstMatch"sv));
    constexpr bool var = isMatch("No match for you!"sv);
}

在 C++20 中，您可以确保仅在编译时使用 consteval 调用您的函数。