Mẫu lớp cho các loại số

Question

Làm cách nào để viết mẫu lớp chỉ chấp nhận các loại số (int, double, float, v.v ...) làm mẫu?

Answer 1

Bạn có thể sử dụng đặc tính loại std::is_arithmetic. Nếu bạn muốn chỉ cho phép instantiation của một lớp học với một kiểu như vậy, sử dụng nó kết hợp với std::enable_if:

#include <type_traits> 

template< 
    typename T, //real type 
    typename = typename std::enable_if<std::is_arithmetic<T>::value, T>::type 
> struct S{}; 

int main() { 
    S<int> s; //compiles 
    S<char*> s; //doesn't compile 
} 

Đối với một phiên bản của enable_if đó là dễ dàng hơn để sử dụng, và một bổ sung miễn disable_if, tôi khuyên bạn nên đọc this wonderful article (hoặc cached version) về vấn đề này.

Answer 2

tôi thấy các thông báo lỗi nhận được từ phương pháp template<typename T, typename = ...> cao khó hiểu (VS 2015), nhưng phát hiện ra rằng một static_assert với các loại đặc điểm tương tự cũng hoạt động và cho phép tôi chỉ định một thông báo lỗi:

#include <type_traits> 

template <typename NumericType> 
struct S 
{ 
    static_assert(std::is_arithmetic<NumericType>::value, "NumericType must be numeric"); 
}; 

template <typename NumericType> 
NumericType add_one(NumericType n) 
{ 
    static_assert(std::is_arithmetic<NumericType>::value, "NumericType must be numeric"); 
    return n + 1; 
} 

int main() 
{ 
    S<int> i; 
    S<char*> s; //doesn't compile 

    add_one(1.f); 
    add_one("hi there"); //doesn't compile 
}