Loại khấu trừ mẫu trong C++ cho Class vs Chức năng?

Question

Tại sao việc khấu trừ loại tự động chỉ có thể thực hiện cho các chức năng chứ không phải cho các Lớp học?

Answer 1

Trong những trường hợp cụ thể mà bạn luôn có thể làm như std::make_pair:

template<class T> 
make_foo(T val) { 
    return foo<T>(val); 
} 

EDIT: Tôi chỉ tìm thấy những điều sau đây trong "The C++ Programming Language, Third Edition", trang 335. Bjarne nói:

Lưu ý rằng đối số mẫu lớp là không bao giờ được suy luận. Lý do là sự linh hoạt của được cung cấp bởi một số nhà thầu xây dựng cho một lớp học sẽ làm cho không thể khấu trừ như vậy trong nhiều trường hợp và làm mờ nhiều hơn nữa.

Điều này tất nhiên là rất chủ quan. Đã có một số cuộc thảo luận về điều này trong comp.std.c++ và sự đồng thuận dường như là không có lý do tại sao nó không thể được hỗ trợ. Cho dù đó có phải là ý hay hay không là một câu hỏi khác ...

Answer 2

Tôi nghĩ rằng chuyển đổi loại ngầm định chỉ áp dụng cho các đối số hàm để trình biên dịch có thể suy ra nó để làm cho hàm gọi thành công.

Nhưng làm thế nào nó có thể suy ra loại bạn muốn có lớp đó.

Chúng tôi phải đợi 4 ngày như vậy khi chúng tôi có Trình biên dịch dựa trên AI để đọc suy nghĩ của chúng tôi.

Answer 3

Trong trường hợp có cuộc gọi hàm, trình biên dịch sẽ loại bỏ kiểu mẫu từ kiểu đối số. Ví dụ: std::max -function. Trình biên dịch sử dụng loại đối số để suy ra tham số mẫu. Điều này không allways làm việc, như không phải tất cả các cuộc gọi là unambigous.

int a = 5; 
float b = 10; 

double result1 = std::min(a, b); // error: template parameter ambigous 
double result2 = std::min<double>(a, b); // explicit parameter enforces use of conversion 

Trong trường hợp một lớp mẫu, có thể không phải là có thể. Ví dụ: lớp học này:

template< class T> 
class Foo { 
public: 
    Foo(); 
    void Bar(int a); 
private: 
    T m_Member; 
}; 

Loại T không bao giờ xuất hiện trong bất kỳ cuộc gọi hàm nào, do đó trình biên dịch không có gợi ý gì, loại nào nên được sử dụng.

Answer 4

Tại Kona meeting Mẫu tham số khấu trừ cho nhà xây dựng (P0091R0) đã được phê duyệt, có nghĩa là trong C++ 17 chúng ta sẽ có thể viết:

pair p1{"foo"s, 12}; 
auto p2 = pair{"foo"s, 12}; 
f(pair{"foo"s, 12});