部分特殊化したときのprivate変数へのアクセス方法

Question

前提・実現したいこと

次のようなコードで関数 fからプライベートメンバにアクセスできません。
どのようにすると良いのか，お知恵をお願いします。

該当のソースコード

template<typename T>
class A{
    T a;
public:
    A(T a):a{a}{}
    void f(A<T*> p){a=*p.a;}///ここでエラー
};

試したこと

クラスA同士のことなので，そもそもプライベートメンバにアクセスできない理由がわかりません。A<T>とA<T*>は別のクラスということが原因かと思い，以下の部分特殊化をしてみたのですが，使い方がよくわかりません。おそらくfriendを使うと思うのですが，わかりませんでした。

template<typename T>
class A<T*>{
    T* a;
    A(T* a):a{a}{}
};

Comments

[mjk]

ポインタ使ってませんがやりたいことの流れはこういうことで合っていますか？
https://paiza.io/projects/riMGJbioxvqn3wgxp5D25A?language=cpp

[jbe00214]

早速，ご検討ありがとうございます。やりたいことは，このコードで良いですが，関数f内ではポインタ経由であることが必要です。

[mjk]

ポインタ経由であることが必要の理由が分かりませんが、C++なら参照渡しで良いのでは？
(必要な理由が分からない素人の思う素朴な疑問なので他意はありませんあしからず)
https://paiza.io/projects/riMGJbioxvqn3wgxp5D25A?language=cpp
void f(const A<T> &p) { a = p.a; }
aa.f(bb);

[jbe00214]

ありがとうございます。正確でなかったので改めて説明しますと，ポインタ経由というより，A<T*>で渡されることが，マストです。次のような FooクラスとFooのメンバを参照するFooRefクラスがあり，Foo内部で両者のメンバの演算をf関数で行うということを実現したいことです。a.f(r)の部分が質問とした演算の部分です。
```
template<typename T>
class FooRef{
A<T*> a;
};

template<typename T>
class Foo{
A<T> a;
void f(FooRef<T>& r){
a.f(r);
}
};
```

[mjk]

部分特殊化ということが何かも知らずコメントして失礼しました。
素人の私が回答できる範疇を超えているので良い回答がつくことを期待してクリップさせて頂きます。
https://mimosa-pudica.net/cpp-specialization.html

Answer 1

特殊化しようがしまいが A<T> と A<T*> は別の型です。

ご想像の通り friend 関数を使えばよく、やりたいのはおそらくこういうことなのではないでしょうか。

#include <type_traits>

template<typename T>
class A{
    friend class A<typename std::remove_pointer<T>::type>;
    T a;
public:
    A(T a):a{a}{}
    void f(A<T*> p){a=*p.a;}
};

特殊化するのであれば friend 宣言は A<T*> の方にすればよいですね。

#include <type_traits>

template<typename T>
class A{
    T a;
public:
    A(T a):a{a}{}
    void f(A<T*> p){a=*p.a;}
};

template<typename T>
class A<T*> {
    friend class A<T>;
    T* a;
public:
    A(T* a):a{a}{}
};

Comments

[jbe00214]

いやあ，おっしゃる通り，うまく行きました。class A のプライマリの方にfriend を入れてできなかったので，勘違いしていました。でも，やりたかった本当の方は前者ですから，解決しました。ありがとうございました。