Chuyên môn về 'mẫu <class _Tp> struct std :: less' trong không gian tên khác nhau

Question

Tôi chuyên 'ít' (vị ngữ) cho một kiểu dữ liệu.

Mã này trông như thế này:

template<> 
struct std::less<DateTimeKey> 
{ 
    bool operator()(const DateTimeKey& k1, const DateTimeKey& k2) const 
    { 
     // Some code ... 
    } 
} 

Khi biên dịch (g ++ 4.4.1 trên Ubuntu 9.10), tôi nhận được lỗi:

Chuyên ngành 'mẫu struct std :: ít' trong khác nhau namespace

tôi đã làm một số nghiên cứu và phát hiện ra rằng có một 'workaround' có liên quan đến gói các chuyên môn hóa trong một namespace std - tức là thay đổi mã để:

namespace std { 
template<> 
struct less<DateTimeKey> 
{ 
    bool operator()(const DateTimeKey& k1, const DateTimeKey& k2) const 
    { 
     // Some code ... 
    } 
} 
} 

thực sự, tắt trình biên dịch lên. Tuy nhiên, giải pháp đó là từ một bài đăng 5 tuổi (Bởi 'tuyệt vời' Victor Bazarof không ít [chơi đùa ngoài ý muốn]). Đây có phải là sửa chữa vẫn là con đường để đi, hoặc là có một cách tốt hơn để giải quyết này, hoặc là "cách cũ" vẫn còn hợp lệ?

Answer 1

Đây vẫn là cách để thực hiện. Thật không may là bạn không thể khai báo hoặc định nghĩa các hàm trong một không gian tên như bạn sẽ làm với một lớp: bạn cần thực sự bọc chúng trong một khối không gian tên.

Answer 2

Ít chức năng không cần phải nằm trong không gian tên std. Vì vậy,

struct A 
{ 
    A(int _v=0):v(_v){} 
    int v; 
}; 


template<> struct less<A> 
{ 
    bool operator()(const A& k1, const A& k2) const 
    { 
     return k1.v < k2.v; 
    } 
}; 


std::map<A,int> m; 
m[A(1)] = 1; 
m[A(2)] = 2; 

Làm việc như mong đợi. (Gọi functor bạn vừa tạo).

Tôi đoán bạn đã biết, nhưng bạn chỉ có thể viết toán tử riêng của mình < (k1, k2), cái mà hàm functor mặc định tìm kiếm.

bool operator<(const DateTimeKey & k1, const DateTimeKey & k2) 
{ 
//your code... 
} 

Answer 3

Nếu bạn cần chuyên thuật toán chuẩn, bạn có thể làm như vậy trong không gian tên std. Đó là điều duy nhất bạn được phép làm bên trong không gian tên đó theo tiêu chuẩn.

[lib.reserved.names]/1

It is undefined for a C++ program to add declarations or definitions to namespace std or namespaces within namespace std unless otherwise specified. A program may add template specializations for any standard library template to namespace std. Such a specialization (complete or partial) of a standard library template results in undefined behavior unless the declaration depends on a user-defined name of external linkage and unless the specialization meets the standard library requirements for the original template

Bây giờ, câu hỏi đặt ra là liệu bạn có thực sự muốn chuyên std::less hay không. Lưu ý rằng std::less sẽ gọi toán tử so sánh được xác định cho loại của bạn, do đó bạn có thể cung cấp thao tác đó thay vì chuyên mẫu.

Sự cố với chuyên biệt std::less cho loại cụ thể của bạn là nó sẽ gây nhầm lẫn nếu bạn cung cấp một hoạt động khác với thao tác được thực hiện bởi operator< cho loại của bạn. Nếu họ thực hiện cùng một thao tác, chỉ cần đặt định nghĩa std::less mặc định mà không cần chuyên môn hóa.

Nếu bạn không muốn cung cấp toán tử so sánh, nhưng vẫn muốn sử dụng loại trong vùng chứa kết hợp hoặc với thuật toán yêu cầu so sánh, bạn có thể cung cấp hàm so sánh bên ngoài bằng tên khác sẽ không gây nhầm lẫn cho người đọc khác và bản thân bạn ở đâu đó trong tương lai).

Answer 4

Tại sao bạn thậm chí làm điều này?

std::less tồn tại cho chỉ có hai mục đích:

1. để đặt tên cho hành <, cho phép nó được thông qua như là một functor
2. đến một cách rõ ràng cho phép so sánh hai con trỏ mà không phải là trong cùng một mảng (về mặt kỹ thuật là bất hợp pháp nếu được thực hiện với con trỏ thô)

Không có lý do gì để người dùng quá tải - quá tải operator< hoặc sử dụng chức năng so sánh tùy chỉnh.

Có các thuật toán std có thể được sử dụng một cách hợp lý - std::swap là một ví dụ hay - và để làm như vậy bạn cần khai báo chuyên môn bên trong không gian tên std.