Default arguments

void point(int x = 3, int y = 4);
point(1, 2); // point(1, 2) を呼び出す
point(1);    // point(1, 4) を呼び出す
point();     // point(3, 4) を呼び出す

int x(int = 1, int); // エラー: 末尾のパラメータのみがデフォルト引数を持つことができます
                     //        （「x」の以前の宣言がないと仮定）
void f(int n, int k = 1);
void f(int n = 0, int k); // OK: 「k」のデフォルト引数は同じスコープ内の
                          // 以前の宣言によって提供されます
void g(int, int = 7);
void h()
{
    void g(int = 1, int); // エラー: 同じスコープではありません
}

int g(int n = 0, ...); // 可

void f(int, int);     // #1
void f(int, int = 7); // #2 OK: デフォルト引数を追加
void h()
{
    f(3); // #1と#2がスコープ内; f(3,7)を呼び出す
    void f(int = 1, int); // エラー: 2番目のパラメータのデフォルト引数は
                          // 外側のスコープから継承されない
}
void m()
{ // 新しいスコープ開始
    void f(int, int); // 内側スコープの宣言; デフォルト引数なし
    f(4); // エラー: f(int, int)を呼び出すための引数が不足
    void f(int, int = 6);
    f(4); // OK: f(4, 6)を呼び出す;
    void f(int, int = 6); // エラー: 2番目のパラメータは既に
                          // デフォルト引数を持っている（値が同じ場合でも）
}
void f(int = 1, int); // #3 OK, #2にデフォルト引数を追加
void n()
{ // 新しいスコープ開始
    f(); // #1, #2, #3がスコープ内: f(1, 7)を呼び出す;
}

namespace N
{
    void f(int, int = 1);
}
using N::f;
void g()
{
    f(7); // f(7, 1) を呼び出す;
    f();  // エラー
}
namespace N
{
    void f(int = 2, int);
}
void h()
{
    f();  // f(2, 1) を呼び出す;
}

int a = 1;
int f(int);
int g(int x = f(a)); // fのルックアップは ::fを、aのルックアップは ::aを見つける
                     // この時点で値が1である ::aの値は使用されない
void h()
{
    a = 2; // ::aの値を変更する
    {
        int a = 3;
        g(); // f(2)を呼び出し、その結果でg()を呼び出す
    }
}

class C
{
    void f(int i = 3);
    void g(int i, int j = 99);
    C(int arg); // 非デフォルトコンストラクタ
};
void C::f(int i = 3) {}         // エラー: デフォルト引数は既に
                                // クラススコープで指定済み
void C::g(int i = 88, int j) {} // OK: この翻訳単位では、
                                // C::gは引数なしで呼び出し可能
C::C(int arg = 1) {}            // エラー: これをデフォルトコンストラクタに変換してしまう

struct Base
{
    virtual void f(int a = 7);
};
struct Derived : Base
{
    void f(int a) override;
};
void m()
{
    Derived d;
    Base& b = d;
    b.f(); // OK: Derived::f(7) を呼び出す
    d.f(); // エラー: デフォルト引数が存在しない
}

void f()
{
    int n = 1;
    extern void g(int x = n); // エラー: ローカル変数はデフォルト引数として使用できません
    extern void h(int x = sizeof n); // CWG 2082以降で有効
}

class A
{
    void f(A* p = this) {} // エラー: thisは許可されていません
};

int b;
class X
{
    int a;
    int mem1(int i = a); // エラー: 非静的メンバーは使用できません
    int mem2(int i = b); // OK: 検索で静的メンバーX::bが見つかります
    int mem3(int X::* i = &X::a); // OK: 非静的メンバーが使用できます
    int mem4(int i = x.a); // OK: メンバーアクセス式内で使用
    static X x;
    static int b;
};

int a;
int f(int a, int b = a); // エラー: デフォルト引数でパラメータaが使用されている
int g(int a, int b = sizeof a); // CWG 2082解決まではエラー
                                // 解決後はOK: 未評価コンテキストでの使用は許可される

int f(int = 0);
void h()
{
    int j = f(1);
    int k = f(); // f(0)を呼び出す;
}
int (*p1)(int) = &f;
int (*p2)()    = &f; // エラー: fの型はint(int)である

class C
{
    int operator++(int i = 0); // 不正な形式
    int operator[](int j = 0); // C++23以降で有効
    int operator()(int k = 0); // 有効
};

void f1(int*=0);         // エラー、「*=」はここでは予期しないトークンです
void g1(const int&=0);   // エラー、「&=」はここでは予期しないトークンです
void f2(int* = 0);       // OK
void g2(const int& = 0); // OK
void h(int&&=0);         // スペースがなくてもOK、「&&」はここでは単一のトークンです