Tạo thông số mẫu cho một người bạn?

Question

Ví dụ:

template<class T> 
class Base { 
public: 
    Base(); 
    friend class T; 
}; 

Bây giờ điều này không có tác dụng ... Có cách nào để thực hiện việc này không?

Tôi thực sự cố gắng để làm một niêm phong lớp chung như thế này:

class ClassSealer { 
private: 
    friend class Sealed; 
    ClassSealer() {} 
}; 
class Sealed : private virtual ClassSealer 
{ 
    // ... 
}; 
class FailsToDerive : public Sealed 
{ 
    // Cannot be instantiated 
}; 

tôi thấy ví dụ này trên trang web này ở đâu đó nhưng tôi không thể tìm thấy nó ... (here)

Tôi biết có other ways làm điều này nhưng bây giờ tôi rất tò mò nếu bạn thực sự có thể làm một cái gì đó như thế này.

Answer 1

Điều này rõ ràng không được phép trong tiêu chuẩn, ngay cả khi một số phiên bản của VisualStudio cho phép.

C++ chuẩn 7.1.5.3 xây dựng loại specifiers, đoạn 2

3.4.4 describes how name lookup proceeds for the identifier in an elaborated-type-specifier. If the identifier resolves to a class-name or enum-name, the elaborated-type-specifier introduces it into the declaration the same way a simple-type-specifier introduces its type-name. If the identifier resolves to a typedef-name or a template type-parameter, the elaborated-type-specifier is ill-formed. [Note: this implies that, within a class template with a template type-parameter T, the declaration friend class T; is ill-formed. ]

tôi nhận ra đoạn mã trên như một mô hình để đóng dấu (không cho phép gia hạn) một lớp. Có một giải pháp khác, điều đó không thực sự chặn phần mở rộng nhưng nó sẽ tự động mở rộng ra khỏi lớp. Như đã thấy trong ADOBE Source Library:

namespace adobe { namespace implementation { 
template <class T> 
class final 
{ 
protected: 
    final() {} 
}; 
}} 
#define ADOBE_FINAL(X) private virtual adobe::implementation::final<T> 

với việc sử dụng:

class Sealed : ADOBE_FINAL(Sealed) 
{//... 
}; 

Trong khi nó cho phép mở rộng nếu bạn thực sự buộc nó:

class SealBreaker : public Sealed, ADOBE_FINAL(Sealed) 
{ 
public: 
    SealBreaker() : adobe::implementation::final<Sealed>(), Sealed() {} 
}; 

Nó sẽ hạn chế người dùng từ sai lầm làm điều đó.

EDIT:

Tiêu chuẩn C++ 11 sắp tới không cho phép bạn làm bạn với một đối số kiểu với một cú pháp hơi khác nhau:

template <typename T> 
class A { 
    // friend class T; // still incorrect: elaborate type specifier 
    friend T;   // correct: simple specifier, note lack of "class" 
}; 

Answer 2

Bạn có thực sự cần thực hiện việc này không? Nếu bạn muốn ngăn không cho ai đó xuất phát từ lớp học của bạn, chỉ cần thêm nhận xét và làm cho trình hủy không phải là ảo.

Answer 3

tôi tìm thấy một thủ thuật đơn giản để khai báo các thông số mẫu như bạn bè:

template < typename T> 
struct type_wrapper 
{ 
    typedef T type; 
}; 


template < typename T> class foo 
{ 
    friend class type_wrapper < T>::type 
}; // type_wrapper< T>::type == T 

Tuy nhiên tôi không biết điều này có thể giúp xác định phiên bản thay thế của lớp lót .