Chúng ta có thể định nghĩa một hàm mẫu cho một số kiểu dữ liệu không?

Question

thể trùng lặp:
C++ templates that accept only certain types

Ví dụ, nếu chúng ta muốn xác định một mẫu chức năng mà chúng ta có thể sử dụng số nguyên, phao, đôi nhưng không dây. Có cách nào dễ dàng để làm như vậy không?

Answer 1

Cách thực hiện việc này để sử dụng std::enable_if ở một số hình dạng hoặc biểu mẫu. Bộ chọn cho loại được hỗ trợ sau đó được sử dụng làm kiểu trả về. Ví dụ:

template <typename T> struct is_supported { enum { value = false }; }; 
    template <> struct is_supported<int> { enum { value = true }; }; 
    template <> struct is_supported<float> { enum { value = true }; }; 
    template <> struct is_supported<double> { enum { value = true }; }; 

    template <typename T> 
    typename std::enable_if<is_supported<T>::value, T>::type 
    restricted_template(T const& value) { 
    return value; 
    } 

Rõ ràng, bạn muốn cung cấp cho các đặc điểm có tên tốt hơn is_supported. std::enable_if là một phần của C++ 2011 nhưng có thể dễ dàng triển khai hoặc thu được từ boost trong trường hợp không có sẵn với thư viện chuẩn mà bạn đang sử dụng.

Nói chung, thường không cần thiết để áp đặt các hạn chế rõ ràng vì việc triển khai mẫu thường có các hạn chế tiềm ẩn. Tuy nhiên, đôi khi rất hữu ích khi vô hiệu hóa hoặc bật một số loại nhất định.

Answer 2

Bạn có thể kiểm tra các loại giá trị. Nếu họ là một trong những loại được chỉ định của bạn, bạn có thể tiếp tục, nếu không bạn có thể trả lại chức năng. Xem tại đây để biết thêm thông tin: http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8l.doc%2Flanguage%2Fref%2Fthe_typeid_operator.htm

Với việc sử dụng typeid, bạn cũng có thể ném biên dịch.

Answer 3

Thông thường các danh sách trắng nhất định hạn chế việc sử dụng mẫu rất nhiều.

Tăng cường được gọi là concepts về cơ bản là giao diện cho mẫu. thay vì danh sách trắng nhất định, bạn có thể tạo lỗi thời gian biên dịch nếu các điều kiện nhất định (chức năng bị thiếu hoặc có đối số sai, v.v.) không được đáp ứng. tất nhiên bạn cũng có thể sử dụng điều này để hạn chế đối số mẫu của bạn cho một số loại nhất định.