void some_func(int param = get_default_param_value());
Должны ли постоянные параметры функции быть постоянными в С++?
Ответ 1
Параметр по умолчанию может быть подмножеством полного набора выражений. Он должен быть связан во время компиляции и в месте объявления параметра по умолчанию. Это означает, что это может быть вызов функции или вызов статического метода, и он может принимать любое количество аргументов, насколько они являются константами и/или глобальными переменными или статическими переменными класса, но не атрибутами членов.
Тот факт, что он связан во время компиляции и в том месте, где объявлена функция, также означает, что если он использует переменную, эта переменная будет использоваться, даже если другая переменная затеняет оригинал в месте вызов функции.
// 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.
}
Ответ 2
Им не обязательно быть! Параметр по умолчанию может быть любым выражением в определенных ограничениях. Он оценивается каждый раз, когда вызывается функция.