C++ 11 constexpr fonksiyonu geçiş parametresi

Question

Aşağıdaki kodu düşünün? Ancak

constexpr int t1(const int i) 
{ 
    return make_const(i); 
} 

bu değil:

---

GÜNCELLEME

Ama bu işleri

template<int i> 
constexpr bool do_something(){ 
    return i; 
} 

constexpr int t1(const int i) 
{ 
    return do_something<make_const(i)>(); // error occurs here (i is not a constant expression) 
} 

Answer 1

A constexpr fonksiyonu ve ilgili bir constexpr değişken, ancak farklı şeyler.

bir constexpr değişken değeri derleme zamanında mevcut olması sağlanır bir değişkendir.

bir constexpr fonksiyonu constexpr bağımsız değişken ile değerlendirildi eğer ve yürütme sırasında "doğru" davranan bir fonksiyonudur, derleme zamanında değerlendirilecektir.

constexprint işlevini constexpr işlevine iletirseniz, derleme zamanında sihirli olarak değerlendirilmeyecektir. Bununla birlikte, giriş parametrelerinin constexpr nansını kendi içinden geçirmesine izin verilir (normal fonksiyonlar bunu yapamaz). fonksiyonlarına

constexpr bunlar derleyici yazılır ve yönergeler ilgili belgeler ve kısıtlama bir karışımıdır.

Bunun sebebi aynı işlevi derleme zamanında hem değerlendirilecek izin vermektir ve çalışma zamanında. Çalışma zamanı argümanlarını geçtiyse, bu bir çalışma zamanı işlevidir. constexpr argümanlarını geçtiyse, derleme zamanında değerlendirilebilir (ve belirli bağlamlarda kullanılıyorsa).

Answer 2

t1() Bir constexpr fonksiyonu olmadığından, parametreyi Bir çalışma zamanı değişkeni ...'a geçemezsinizişlevi. Constexpr, parametrenin derleme zamanında bilinmesini bekler.

Answer 3

const ve constexpr arasındaki önemli bir fark, constexpr'un derleme zamanında değerlendirilebilmesidir.

constexpr int ii = make_const(i); yazarak ifadenin derleme zamanında ile değerlendirilen edilecek derleyici anlatıyorsun. i çalışma zamanında değerlendirildiğinden, derleyici bunu yapamaz ve size bir hata verir.