Bỏ qua đối số trong Mẫu C++

Question

Khi gọi một hàm mẫu, bạn có thể bỏ qua loại sau tên hàm không?

Như một ví dụ, hãy xem xét các chức năng

mẫu <typename T> void f (T var) {...};

Is it ok để chỉ đơn giản gọi nó là như thế này:

int x = 5;
f (x);

hoặc tôi có để bao gồm loại?

int x = 5;
f <int> (x);

Answer 1

Bất cứ khi nào trình biên dịch có thể suy ra các đối số mẫu từ các đối số hàm, bạn có thể bỏ chúng ra ngoài. Đây cũng là thực hành tốt, vì nó sẽ làm cho mã của bạn dễ đọc hơn.

Ngoài ra, bạn chỉ có thể để lại lập luận mẫu của cuối cùng, không phải là đầu hoặc giữa:

template<typename T, typename U> void f(T t) {} 
template<typename T, typename U> void g(U u) {} 

int main() { 
    f<int>(5);  // NOT LEGAL 
    f<int, int>(5); // LEGAL 

    g<int>(5);  // LEGAL 
    g<int, int>(5); // LEGAL 

    return 0; 
} 

Answer 2

Không có gì sai khi gọi nó với thông số mẫu ẩn. Trình biên dịch sẽ cho bạn biết nếu nó bị nhầm lẫn, trong trường hợp đó bạn có thể phải xác định rõ ràng các tham số mẫu để gọi hàm.