biz <code>constexpr</code> olsun C++ 11 yılında derleme zamanı constexpr

Question

uygula:

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

o x bir derleme zamanı hatası dinamik bir değere sahip foo ait çağırmaları yapmak mümkün mü? Yani, bir foo oluşturmak istiyorum, böylece yalnızca constexpr bağımsız değişkenleri iletilebilir.

Answer 1

bir üst-işlevin ile değiştirin:

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

Kullanımı:

foo<12>::value 

Answer 2

Bu örnekte daha Infos için

#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"); 
} 

gösterildiği gibi ben static_assert kullanırsınız: http://en.cppreference.com/w/cpp/language/static_assert

Answer 3

Ne yazık ki, en önemsiz olanı bile olan constexpr işlevinin kesinlikle gerekli olmadıkça derleyici tarafından değerlendirileceğinin bir yolu yoktur. Yani, derleme zamanında değerinin gerekli olduğu bir yerde görünmediği sürece, örn. bir şablonda. derleme sırasında değerlendirme yapmak için derleyici zorlamak için, aşağıdakileri yapabilirsiniz: o zaman

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

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

ve her zamanki

olarak kodunuzda foo kullanmak

int f = foo(123); 

bu yaklaşımının iyi olduğunu o derleme zamanı değerlendirme garanti ve foo bir çalışma zamanı değişken geçmek eğer bir derleme hatası alırsınız:

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

o kadar iyi bir şey, bir makro gerektirmesidir, ancak hem garantili derleme zamanı değerlendirmesi hem de güzel kodlar istiyorsanız, bu durum kaçınılmaz görünmektedir. (Olsa da yanıltılmayı çok isterim!)