テンプレート関数とfriendによるアクセス

Question

前提・実現したいこと

テンプレートclass Aのプライベートメンバ関数をテンプレートclass Bから利用したい場合，classAにフレンド宣言をすることで通常は解決できると思います。以下のコードで，enum型を引数にした場合にうまくいきません。対処の方法をご存知の方ご教示いただけますでしょうか。

発生している問題・エラーメッセージ

'funcA' is a private member of 'A<int>'

該当のソースコード

template<typename T>
class B{
public:
    enum type{a,b,c};
    void funcB(type);
};
template<typename T>
class A{
    friend void B<T>::funcB(B<T>::type );
    static void funcA(){}//この関数を利用したい
};

template<typename T>
void B<T>::funcB(type){
    A<T>::funcA();///ここで利用したい
}

int main(){
    B<int> b;
    b.funcB(B<int>::type::a);
    return 0; 
}

試したこと

funcB()として，宣言して定義して引数をなくするとエラーは出ません。

補足情報（FW/ツールのバージョンなど）

xcode
clang
c++17

Answer 1

typenameが必要です

-friend void B<T>::funcB(B<T>::type;
+friend void B<T>::funcB(typename B<T>::type);

---

C++ のキーワード: typename
用途

• テンプレート宣言において、 型テンプレート引数およびテンプレートテンプレート引数 (C++17以上)を宣言するために class の代替として使用することができます。
• テンプレートの宣言または定義の中で、依存修飾名が型であることを宣言するために使用することができます。
• テンプレートの宣言または定義の中で、 (C++11未満)非依存修飾型名の前で typename を使用することができます。 この場合、効果はありません。
• 要件の中で型要件に対して (C++20以上)

---

すみません、上記はg++でのコンパイルが通らない理由でした。
g++ではtypenameが無いとerror: 'B::type' is not a typeとエラーになります。

clangのバグのような気がしますが、
以下のようにするとclang、g++ともにコンパイルが通りました。

template<typename T, class ClassB = B<T>>
class A {
    friend void ClassB::funcB(typename ClassB::type);
    static void funcA() {}
};

---

コメント頂きましたが、以下のようにしてもコンパイルが通りますね。

template<typename T>
class A {
    using ClassB = B<T>;
    friend void ClassB::funcB(typename ClassB::type);
    static void funcA() {}
};

Comments

[SHOMI]

VisualC++ではtypenameをつけなくてもコンパイルが通ってしまいますね…

[jbe00214]

ありがとうございます。しかし，私のclang version 12.0.0では，エラーが相変わらず出ます。解決できませんでした。

[SHOMI]

すみません、g++で確認していました。
g++だとtypenameがないとコンパイルが通りませんが、
clangだとtypenameなしでもfuncA()をpublicにすればコンパイルが通り、privateにすると通りませんね。
clangのバグのような気がします。
clangでもコンパイルが通るコードを追記しました。

[jbe00214]

ありがとうございました。解決です。感謝しています。解決方法をヒントに,using ClassB=B<T> を使いました。clangのバグのような感じもしますね。

[SHOMI]

usingでもコンパイルが通る件、コメントありがとうございます。
コメント欄だとあとから同様の問題で検索されてきた方には気づかれない可能性があるため、回答の方に転記させていただきました。

[jbe00214]

追記について，実際に取り組んでいるコードは，class Aのクラス外で定義する実装部分の関数が多く，テンプレートの修正が少ないusingを使いました。