C++: Làm thế nào để ngăn chặn mẫu chuyên con trỏ?

Question

Tôi bắt đầu xin lỗi nếu tôi đủ ngu ngốc để không tìm thấy câu trả lời nếu nó quá rõ ràng.

Tôi đã thấy hàng tá trang nói về việc có chuyên môn mẫu cụ thể cho các thông số con trỏ.

Mặc dù tôi muốn có thể ngăn chặn một mẫu chuyên tham số con trỏ nhưng tôi không thể tìm ra cách thực hiện việc này.

template< class T > 
void function(T arg) 
{ 
    //... 
} 

int main() 
{ 
    int i = 42; 

    function(i); // Ok 
    function(&i); // Die bastart with a compiler error! 
} 

Có thể không?

Cảm ơn.

Answer 1

Bạn có thể khai báo chuyên môn (trong trường hợp này đó là kỹ thuật chỉ là một tình trạng quá tải) nhưng không định nghĩa nó :)

template<typename T > 
void function(T arg) 
{ 
//... 
} 

template<typename T > 
void function(T* arg); //no definition 

int main() 
{ 
    int i = 42; 
    function(i); // Ok 
    function(&i); //ERROR 
} 

Answer 2

Tôi bản thân mình một tân binh mẫu Lập trình meta, nhưng tôi nghĩ

template<typename T> 
void function(typename std::enable_if<!std::is_pointer<T>::value,T>::type arg) 
{ 
    //... 
} 

nên hoạt động, vì chức năng này chỉ nên tồn tại đối với các tham số không phải con trỏ. Tất nhiên điều này đòi hỏi C++ 11 hoặc ít nhất là các cơ sở kiểu TR1 hoặc các đặc điểm kiểu tăng cường.

Answer 3

Trong C++ 11, bạn có thể sử dụng static_assert theo một cách như thế này:

template<class T> 
void func(T arg) { 
    static_assert(!std::is_pointer<T>::value, 
       "The argument to func must not be a pointer."); 
    // Do something after the static_assert. 
    // Now you are sure that T isn't a pointer. 
} 

Một ví dụ có thể được tìm thấy here on Ideone.

Tôi khuyên bạn nên điều này vì nó sẽ cung cấp thêm thông báo lỗi hữu ích khi ai đó cố gắng gọi hàm của bạn bằng con trỏ (lỗi liên kết có thể rất khó hiểu trong trường hợp này). Ngoài ra, lỗi trình liên kết sẽ không hiển thị trước khi xảy ra liên kết.