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 里面的表达式 'did not evaluate to a constant'。但是 string_view 的 operator== 是 constexpr。一个解决方案是声明参数 constexpr 但这是不可能的。

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

Answer 1

how can I have a constexpr function that checks for these kind of matches

只需从 if 中删除 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 所以一切都很好。

at compile time?

在编译时上下文中调用 你的函数。喜欢：

#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.

确保仅在编译时调用您的函数

C++ 在 constexpr if 中使用 string_view

C++ using string_view in constexpr if

c++

constexpr

string-view