デフォルトテンプレート引数ありの関数のfriend宣言

Question

デフォルトテンプレート引数ありの関数のfriend宣言の記述方法がわかりません。

class X
{
    static int n;

public:
    template <typename T>
    friend void f(T);
};

template <typename T = int>
void f(T x)
{
    X::n = x;
}

これではコンパイルが通りません。
どのように記述すればよいのでしょうか

Answer 1

こんにちは。

原則通り以下のようにすれば良いですよ。（本来、静的メンバ変数はクラス外で実体を定義する必要がありますが、C++17以降ではinline指定することでクラス外の実体定義を省けます。）

template <typename T = int>
void f(T x);

class X
{
    inline static int n;

public:
    template <typename T>
    friend void f(T);

};

template <typename T>
void f(T x)
{
    X::n = x;
}

wandbox

Answer 2

clangでは御提示のソースでコンパイルでき、gccではエラーになりました。

gccのバグのようですね。

template <typename T = int>
void f(T x)
{
    X::n = x;
}

class X
{
    static int n;

public:
    template <typename T>
    friend void f(T);
};

と、先にデフォルトテンプレート引数つき関数を定義する事でgccでも動きました。