chuyên môn Explicit trong phạm vi không gian tên

Question

template<typename T> 
class CConstraint 
{ 
public: 
    CConstraint() 
    { 
    } 

    virtual ~CConstraint() 
    { 
    } 

    template <typename TL> 
    void Verify(int position, int constraints[]) 
    {  
    } 

    template <> 
    void Verify<int>(int, int[]) 
    { 
    } 
}; 

Biên dịch này dưới g ++ cung cấp cho các lỗi sau:

chuyên môn Explicit trong không gian tên phạm vi 'lớp CConstraint'

Trong VC, nó biên dịch tốt. Bất cứ ai có thể vui lòng cho tôi biết cách giải quyết không?

Answer 1

VC++ không tuân thủ trong trường hợp này - các chuyên môn rõ ràng phải ở phạm vi không gian tên. C++ 03, §14.7.3/2:

An explicit specialization shall be declared in the namespace of which the template is a member, or, for member templates, in the namespace of which the enclosing class or enclosing class template is a member.
An explicit specialization of a member function, member class or static data member of a class template shall be declared in the namespace of which the class template is a member.

Ngoài ra bạn có vấn đề mà bạn không thể chuyên hàm thành viên không chuyên một cách rõ ràng lớp chứa do C++ 03, §14.7 0,3/3, vì vậy một giải pháp sẽ được để cho Verify() mong muốn một, có thể là chuyên ngành, chức năng miễn phí:

namespace detail { 
    template <typename TL> void Verify  (int, int[]) {} 
    template <>   void Verify<int>(int, int[]) {} 
} 

template<typename T> class CConstraint { 
    // ... 
    template <typename TL> void Verify(int position, int constraints[]) { 
     detail::Verify<TL>(position, constraints); 
    } 
}; 

Answer 2

một cách khác để giải quyết nó là bằng cách ủy quyền cho một chức năng riêng và quá tải chức năng đó. Bằng cách này, bạn vẫn có quyền truy cập vào dữ liệu thành viên của *this và loại tham số mẫu bên ngoài.

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

template<typename T> 
class CConstraint 
{ 
public: 

    template <typename TL> 
    void Verify(int position, int constraints[]) 
    { 
    Verify(position, constraints, identity<TL>()); 
    } 

private: 
    template<typename TL> 
    void Verify(int, int[], identity<TL>) 
    { 

    } 

    void Verify(int, int[], identity<int>) 
    { 

    } 
}; 

Answer 3

Bạn không có thể rõ ràng chuyên mẫu thành viên, nhưng bạn có thể phần chuyên nó. Nếu bạn thêm tham số thứ hai "int dummyParam" và cũng thêm nó vào chuyên môn, nó sẽ làm việc với cả hai trình biên dịch.

Không phải là tôi biết điều này hơn 10 giây trước, nhưng googling trên cùng một lỗi, tôi chạy vào this link và nó làm việc cho chuyên môn mẫu thành viên của tôi.

Answer 4

Thậm chí tốt hơn: bạn có thể kết hợp chuyên môn hóa một phần với các đối số mẫu mặc định. Cách sửa đổi này đối với mã VC++ là nhỏ, bởi vì các cuộc gọi đến chức năng chuyên biệt không cần phải sửa đổi.

template <typename TL, class Dummy=int> 
void Verify(int position, int constraints[]) 
{ 
} 

template <class Dummy=int> 
void Verify<int, Dummy>(int, int[]) 
{ 
} 

Answer 5

Chỉ cần lấy chuyên môn mẫu bên ngoài khai báo lớp học. gcc không cho phép chuyên môn mẫu nội dòng.

Là một tùy chọn khác, chỉ cần xóa dòng mẫu <> có vẻ phù hợp với tôi.