テンプレートパラメータの追加

Question

テンプレートパラメータが許可されていないため、テンプレートパラメータを友人にすることはできません。どのように私は効果的に同じ事を得ることができますか？私が欲しいもの

は、基本的には、それを所有するオブジェクト外使用できないタイプです。どうしてそもそもポイントの横にあるのですが、本当に知っていなければならない場合は、所有リソースの共有の問題に答えるスマートポインタのセットを策定しようとしています。それは自身の所有者宣言しない限り

template < typename T, typename Owner > 
struct accessible_member 
{ 
private: 
    accessible_member() : val(T()) {} 
    accessible_member(T const& t) : val(t) {} 

    operator T&() { return val; } 
    operator T const&() const { return val; } 

    member_ptr<T> operator &() { return member_ptr<T>(val); } 

    friend class Owner; 
}; 

は、このようにクラスがメンバーとしてこのオブジェクトを保持することはできません、それは十分に愚かだ場合は公開する。このように私は何を探していることは、それが働いていた場合、そのようなものですそれはそうであるように、クラスの外で愚かであることは不可能になります。

Answer 1

あなたがこれを使用することができ、かつすべての所有者にオーナーを継承させます。

その後、個人 accessible_member で使用されるメソッドをラップする所有者クラスを使用することができます。
accessible_memberは今所有者にアクセス可能です。 Friendは継承されないため、所有者を継承するすべてのクラスで使用できるように必要なメソッドを提供（ラップ）できますaccessible_member。

これは、2レベルのソリューションですが、それはカプセル化のレベルを保持します。

template < typename U > 
struct Owner 
{ 
    protected: 
    accessible_member<U> newAccessible_member() { return accessible_member<U>(); } 
    accessible_member<U> newAccessible_member(U const& u) { return accessible_member<U>(u); } 
    ..... 

}; 

template < typename T > 
struct accessible_member 
{ 
private: 
    accessible_member() : val(T()) {} 
    accessible_member(T const& t) : val(t) {} 

    operator T&() { return val; } 
    operator T const&() const { return val; } 

    member_ptr<T> operator &() { return member_ptr<T>(val); } 


    template < typename U> friend class Owner; 
}; 

次に、あなたが保護されたメソッドを使用して所有者を継承構造体に間接的にaccessible_memberを使用することができます。Template Friendsで最後の例で

struct Blah: Owner<int> 
{ 
    void Dosomething() { 
     accessible_member<int> blah= newAccessible_member(); 
    } 
}; 

ルック。

Answer 2

何単に自明accessible_memberから継承プライベートネストされたタイプの定義について？それは考えてみると多くの使用のかもしれませんので、まだ元のaccessible_memberタイプは誰にでも利用可能であることを意味する。もちろん、

class Owner 
{ 
    template < typename T > 
    class accessible_member : public ::accessible_member<T> {}; 
}; 

ような何か。

Answer 3

あなたはC++ 98/03については正しいです。しかし、C++ 0xの（n3225 11.4/3）は、この構文でこれを行うことができます：あなたのコンパイラは、あなたがそれを行うようになる場合

friend Owner; 

を参照してください。 C++ 0xサポートを有効にしてみてください。そうでない場合の回避策は醜いです：

struct Owner 
{ 
    typedef Owner self; 
}; 

...

その後、あなたのコンパイラに依存するの1：

friend typename Owner::self; 

か：

friend class Owner::self; 

Answer 4

7.1.5。3 p2は言う：

[注：これが意味する、そのテンプレート 型パラメータT、宣言 フレンドクラスTと クラステンプレート内。 ]

結果として、あなたがそれを任意の意味で使用できるようにするソリューションは、標準に準拠していません。私が見ることができる

Answer 5

唯一の回避策はかなり醜いですとCRTP使用しています：

template <typename T> 
struct CanUseAccessibleMember 
{ 
    template <typename T> 
    static const T& get(const accessible_member<T>& m) 
    { return static_cast<const T&>(m); } 

    // Etc. You can even specialize this class. 
}; 

struct ExampleOwner 
    : protected CanUseAccessibleMember<ExampleOwner> 
{ 
    // Do whatever you want with accessible members here 
    // but you have to use the get syntax 
}; 

template <typename T, typename Owner> 
class accessible_member 
{ 
    // Implement members as you did 

    friend struct CanUseAccessibleMember<Owner>; 
}; 

Answer 6

限り私が見ることができるように、C++ 98の下で、ほとんど変化して、動作します。

：それはちょうど

struct Wrapper { typedef Owner type; }; 
friend class Wrapper :: type; 

に

friend Owner; 

を変更g++-4.1 -Wall -Wextra -pedantic -ansi -std=c++98

と私のための任意の警告なしにコンパイル（Template parameter as a friend私はStackOverflowの上でその答えを得た、この質問は何度か来ています）