làm thế nào để truy vấn nếu (T == int) với mẫu lớp

Question

Khi tôi đang viết một hàm trong một lớp mẫu làm thế nào tôi có thể tìm ra T của tôi là gì?

ví dụ:

template <typename T> 
ostream& operator << (ostream &out,Vector<T>& vec) 
{ 
if (typename T == int) 
} 

Tôi có thể viết câu lệnh if ở trên để hoạt động?

Answer 1

Something như thế này:

template< class T > 
struct TypeIsInt 
{ 
    static const bool value = false; 
}; 

template<> 
struct TypeIsInt<int> 
{ 
    static const bool value = true; 
}; 

template <typename T> 
ostream& operator << (ostream &out,Vector<T>& vec) 
{ 
    if (TypeIsInt<T>::value) 
    // ... 
} 

Answer 2

Xác định nó một cách rõ ràng, ví dụ .:

template <> 
ostream& operator << (ostream &out,Vector<int>& vec) 
{ 
} 

Answer 3

Bằng cách này.

ostream & operator << (ostream &out, Vector<int> const & vec) 
{ 
    // ... 
} 

Trình biên dịch sẽ chọn chức năng này qua mẫu chức năng nếu bạn vượt qua Vector<int>.

Chỉnh sửa: Tôi đã tìm thấy this article, cố gắng giải thích lý do tại sao lại thích quá tải để chuyên môn hóa mẫu.

Answer 4

Cách đơn giản nhất là để cung cấp một mẫu chuyên môn:

#include <iostream> 
#include <vector> 
using namespace std; 

template <typename T> struct A { 
}; 

template <typename T > 
ostream & operator <<(ostream & os, A<T> & a ) { 
    return os << "not an int" << endl; 
} 


template <> 
ostream & operator <<(ostream & os, A<int> & a ) { 
    return os << "an int" << endl; 
} 

int main() { 
    A <double> ad; 
    cout << ad; 
    A <int> ai; 
    cout << ai; 
} 

Answer 5

C++ mẫu không làm việc theo cách này. Ý tưởng chung của các mẫu được thể hiện một số điểm phổ biến cho nhiều loại khác nhau. Và trong trường hợp của bạn, bạn nên sử dụng chuyên môn mẫu.

template<class T> ostream& operator<< (ostream& out, const vector<T>& v) 
{ 
    // your general code for all type 
} 
// specialized template 
template<> ostream& operator<< <int>(ostream& out, const vector<int>& vec) 
{ 
    // your specific to iny type code goes here 
} 

Sau đó, C++ biên dịch sẽ gọi chức năng này khi bạn sử dụng kiểu int và thực hiện chung cho bất kỳ loại khác

std::vector<int> f(5, 5); 
std::cout << f; 

Answer 6

typeid không bao giờ là một ý tưởng tốt. Nó dựa trên RTTI. Bằng cách ở đây là câu trả lời của bạn: http://www.parashift.com/c++-faq-lite/templates.html#faq-35.7

Answer 7

đơn giản, giải pháp chung nhất: Chỉ cần viết một tình trạng quá tải đồng bằng cũ của hàm:

ostream& operator << (ostream &out,Vector<int>& vec) 
{ 
// Your int-specific implementation goes here 
} 

này giả định rằng các int và phi int phiên bản don' t có nhiều mã chung, vì bạn phải viết hai triển khai riêng biệt.

NẾU bạn muốn sử dụng một thực hiện chung của chức năng, chỉ với một tuyên bố if bên trong khác, sử dụng thực hiện Charles Bailey:

template< class T > 
struct TypeIsInt 
{ 
    static const bool value = false; 
}; 

template<> 
struct TypeIsInt<int> 
{ 
    static const bool value = true; 
}; 

template <typename T> 
ostream& operator << (ostream &out,Vector<T>& vec) 
{ 
    if (TypeIsInt<T>::value) { 
     // your int-specific code here 
    } 
} 

Nói chung, không sử dụng typeid nếu bạn không cần để.

Answer 8

Kể từ C++ 11 chúng tôi có std::is_same:

if (std::is_same<T, int>::value) ... 

Nó thực hiện tương tự như đặc điểm gợi ý TypeIsInt gợi ý trong câu trả lời khác, nhưng với hai loại được so sánh.

Answer 9

hơn Một giải pháp là:

if(std::is_same<T, int>::value) 
    //It is int 
if (std::is_same<T, double>::value) 
    //It is double 
if (std::is_same<T, long double>::value) 
    //It is long double