constexpr - neden sadece bir iade beyanı?

Question

Bir constexpr fonksiyonu sadece bir dönüş açıklamada oluşması gerekir ve her argüman derleme zamanında bilinmesi gerekir:

// constexpr functions use recursion rather than iteration 
constexpr int factorial(int n) 
{ 
    return n <= 1 ? 1 : (n * factorial(n-1)); 
} 

Neden sadece iade ifade? Demek istediğim, bu neden yanlış?

// constexpr functions use recursion rather than iteration 
constexpr int factorial(int n) 
{ 
    int a = 222; //another variable 
    return n <= 1 ? 1 : (n * factorial(n-1)); 
} 

Answer 1

Bu uygulama kolaylaştırır. Bu muhtemelen "Neden" diye cevap veriyor, ama bunu nasıl yaptığını söylemiyor.

Bir tek bir dönüş değeri ile fonksiyon ve yerel değişkenler olmadan daha özel bir, bir derleyici için özel bir durumdur. Bu işlev artık tek bir ifadeden oluşuyor: işlevin AST'sinin yalnızca tek bir köke sahip olması gerekiyor. Değişkenlerin eksik olması, bu ifadenin işlenebilmesi için bir tam-üflemeli sanal makine olmadan değerlendirilebileceği anlamına gelir, bunun yerine basit bir ağaç ifadesi değerlendiricisi kullanılabilir. Muhtelif nedenlerden dolayı derleyicinin büyük olasılıkla böyle bir değerlendiriciye sahip olması ya da nispeten kolay bir tane oluşturabilmesi (bir ağaç sadeleştirme geçişi olur). Sadece constexpr ifade içinde kullanılır bilerek

da önemli bir basitleştirme sağlar. Bu işlev, AST işlevindeki her köşe noktasının, bir işlev çağrısı olsa bile, aynı özelliklere sahip olmasını garanti eder. constexpr mekanizmasının tamamı, daha sonra genelleştirilmiş bir const-katlama şeklidir. Ve her zaman derleyicide bu yüksek düzeyde yapılmasa da, büyük bir çaba olmadan (tam bir VM'ye kıyasla) uygulanabilmesini sağlar. "Neden" sorusuna

Geri. Kısıtlama, öncelikle satıcılar üzerindeki kaynak sınırlamaları tarafından yürütülür. Bu özellik, belirtildiği gibi, büyük bir çaba değildir ve bu nedenle satıcılar, makul bir süre içinde gerçekte uygulayabilirler. Bu tür kısıtlamalar olmasaydı, özellikle yerel değişkenlere izin vermek gerekirse, gereken iş miktarını büyük ölçüde artırır. Kullanıcının bakış açısından (biz, programcılar), kısıtlamalar tamamen keyfidir.

Answer 2

Neden: C++ 11'de oldukça yeni ve radikal bir kavramdır ve tamamen yeni bir şey için büyük dil standardını geçiş zordur

constexpr çünkü. Muhafazakarlık kuralları. (Şu anda C++ 14 hedefleyen) C++ 1y için

, sizin örnek yasaldır. Bagaj clangının ucu zaten -std=c++1y bayrağının altında uygular. Andy Sinsi sinsi söylediği gibi