4

我有以下功能：

template <size_t TSize>
consteval size_t indexOf(SomeEnum someEnum,
                         const std::array<SomeEnum, TSize> &arr) {
  for (size_t i = 0; i < TSize; ++i) {
    if (arr[i] == someEnum) {
      return i;
    }
  }
  // How to fail here?
  return SOME_DEFAULT_WRONG_VALUE;
}

该函数应该失败而不是返回默认值，但我不能抛出异常或调用assert。我可以在static_assert对函数的每次调用中添加一个（使用宏会不那么可怕），但我更喜欢在函数中工作的解决方案。在这种情况下有没有办法触发编译失败？

4

3 回答 3

13

在这种情况下有没有办法触发编译失败？

如果目标是触发编译失败，那么最简单的做法就是抛出异常。不管异常是什么，因为它实际上不会被抛出，所以抛出异常的行为会触发编译错误，因为在恒定评估时间不允许抛出：

template <size_t TSize>
consteval size_t indexOf(SomeEnum someEnum,
                         const std::array<SomeEnum, TSize> &arr) {
  for (size_t i = 0; i < TSize; ++i) {
    if (arr[i] == someEnum) {
      return i;
    }
  }

  throw "failed to find someEnum";
}

如果你想更明确，你可以只拥有一个constexpr没有定义的非函数：

void trigger_consteval_failure(char const*);

template <size_t TSize>
consteval size_t indexOf(SomeEnum someEnum,
                         const std::array<SomeEnum, TSize> &arr) {
  for (size_t i = 0; i < TSize; ++i) {
    if (arr[i] == someEnum) {
      return i;
    }
  }

  trigger_consteval_failure("failed to find someEnum");
}

在这两种情况下，如果您要查找数组中的值，则调用此函数是一个有效的常量表达式。但是如果没有找到索引，那么我们最终会做一些现在在常量表达式中允许的事情，无论如何这都是一个硬编译错误，正如我们所希望的那样。

如果我们能在这种情况下产生更好的堆栈跟踪，那就太好了，但我认为实际上没有办法做到这一点。

于 2021-04-29T15:39:27.490 回答
7

你可以简单地省略return

template <size_t TSize>
consteval size_t indexOf(SomeEnum someEnum,
                         const std::array<SomeEnum, TSize> &arr) {
  for (size_t i = 0; i < TSize; ++i) {
    if (arr[i] == someEnum) {
      return i;
    }
  }
}

演示（clang 警告该方法）。

编译器将拒绝到达该路径的代码。

演示

throw异常似乎更干净：

template <size_t TSize>
consteval size_t indexOf(SomeEnum someEnum,
                         const std::array<SomeEnum, TSize> &arr) {
  for (size_t i = 0; i < TSize; ++i) {
    if (arr[i] == someEnum) {
      return i;
    }
  }
  throw 42; // or more meaningful exception
}

演示

于 2021-04-29T15:36:47.080 回答
3

您应该避免使用索引，而是使用std::find现在constexpr。如果你想要一个索引，你可以只使用begin数组的 ing 中的指针算术减法来计算索引。

但是，如果你不能这样做，那就 return TSize; 它应该像结束迭代器一样。

于 2021-04-29T15:29:04.753 回答