Question

在C ++ 11中，我们得到constexpr：

constexpr int foo (int x) {
    return x + 1;
}

是否可以使用动态值foo调用x编译时错误？也就是说，我想创建一个foo，以便只能传递constexpr个参数。

Answer 1

将其替换为元函数：

template <int x> struct foo { static constexpr int value = x + 1; };

用法：

foo<12>::value

Answer 2

不幸的是，除非绝对必要，否则无法保证编译器将评估constexpr函数，即使是最简单的函数。也就是说，除非它出现在编译时需要其值的地方，例如在模板中。为了强制编译器在编译期间进行评估，您可以执行以下操作：

constexpr int foo_implementation (int x) {
    return x + 1;
}

#define foo(x) std::integral_constant<int, foo_implementation(x)>::value

然后像往常一样在代码中使用foo

int f = foo(123);

这种方法的好处在于它保证了编译时评估，如果将运行时变量传递给foo，则会出现编译错误：

int a = 2;
int f = foo(a); /* Error: invalid template argument for 'std::integral_constant',
                   expected compile-time constant expression */

不太好的是它需要一个宏，但如果你想要保证编译时评估和漂亮的代码，这似乎是不可避免的。（我很想被证明是错的！）

Answer 3

我会使用此示例中显示的static_assert

#include<iostream>

constexpr int foo(int x) {
        return x+1;
}

int main() {
        // Works since its static
        std::cout << foo(2) << std::endl;
        static_assert(foo(2) || foo(2) == 0, "Not Static");

        // Throws an compile error
        int in = 3;
        std::cout << foo(in) << std::endl;
        static_assert(foo(in) || foo(in) == 0, "Not Static");
}

更多信息：http://en.cppreference.com/w/cpp/language/static_assert

强制编译时constexpr

3 个答案: