Varsayılan değerler C++ cinsinden sabit olmalı mı?

Question

void some_func(int param = get_default_param_value()); 

Answer 1

Varsayılan parametre, tüm ifade kümesinin bir alt kümesi olabilir. Derleme zamanında ve varsayılan parametrenin beyan edildiği yerde ciltlenmiş olmalıdır. Bu, bir işlev çağrısı veya bir statik yöntem çağrısı olabileceği anlamına gelir ve sabitler ve/veya genel değişkenler veya statik sınıf değişkenleri, ancak üye öznitelikleri değil, herhangi bir sayıda bağımsız değişken alabilir.

Derleme zamanında ve işlevin bildirildiği yerde bağlanmış olması, bir değişkeni kullanırsa, farklı bir değişkenin orijinali orjinalinde gölgelemesi durumunda bile bu değişkenin kullanılacağı anlamına gelir. işlev çağrısı.

// Code 1: Valid and invalid default parameters 
int global = 0; 
int free_function(int x); 

class Test 
{ 
public: 
    static int static_member_function(); 
    int member_function(); 

    // Valid default parameters 
    void valid1(int x = free_function(5)); 
    void valid2(int x = free_function(global)); 
    void valid3(int x = free_function(static_int)); 
    void valid4(int x = static_member_function()); 

    // Invalid default parameters 
    void invalid1(int x = free_function(member_attribute)); 
    void invalid2(int x = member_function()); 
private: 
    int member_attribute; 
    static int static_int; 
}; 

int Test::static_int = 0; 

// Code 2: Variable scope 
int x = 5; 
void f(int a); 
void g(int a = f(x)); // x is bound to the previously defined x 
void h() 
{ 
    int x = 10; // shadows ::x 
    g(); // g(5) is called: even if local x values 10, global x is 5. 
} 

Answer 2

Olmak zorunda değiller! Varsayılan bir parametre, belirli sınırlamalar içinde herhangi bir ifade olabilir. Fonksiyon her çağrıldığında değerlendirilir.