noexcept 指定函数不抛出的条件

Question

我在处理 noexcept 时遇到了一些麻烦。

template <int SIZE>
int pop(int idx) noexcept(noexcept(SIZE > 0)) // this is what I dont understand
{
  if (idx <= 0)
    throw std::out_of_range("My array doesnt go that high");
  return idx;
}

这只是一个简单的函数，但你看它是如何只在 idx 0)，我试图告诉编译器这个函数只有在 idx > 0 时才抛出异常。我这样做对吗？

感谢任何帮助，我希望我解释正确。只是一些简单的解释会很棒。

Answer 1

实际上noexept 规范需要一个常量表达式，而不是运行时表达式。您已将noexcept 规范 与noexcept 运算符 一起使用。 noexcept(idx >0) 返回 true，因为比较两个整数不会抛出异常，并且您使用 true 作为 noexcept 的参数 规范 告诉编译器您的函数永远不会抛出异常。声明

int pop(int idx) noexcept(noexcept(idx > 0))

表示只要idx > 0 不抛出此函数就不会抛出，int 的情况总是。

更新：现在您已经更改了问题中的代码，使idx 是一个非类型模板参数，但同样的推理也适用。比较 ints 从不抛出。

您似乎想要做的事情在 C++ 中无法完成。也就是说，根据函数的运行时参数指定函数是否抛出。