Mẫu <typename T, T t> thành ngữ là gì?

Question

Tôi đã đọc this và đang cố gắng hiểu những gì N3601 là về. Nó nói thành ngữ này xuất hiện rất nhiều trong một tìm kiếm trên web, nhưng tôi không thể tìm thấy bất cứ điều gì. Các thành phần

template<typename T, T t> 

thành ngữ nào, cách giải quyết, cách sử dụng, thông số mẫu ngầm định là gì và đề xuất nhằm khắc phục điều gì?

Answer 1

Sự cố đang được giải quyết là loại trừ các loại từ thông số không phải mẫu.

Given:

template<typename T> void foo(T); 
template<typename T, T> void bar(); 

người ta có thể suy ra T cho foo (ví dụ, foo(10) sẽ dẫn đến T được suy luận là int), nhưng nó không thể suy ra T cho bar (bar<10>() sẽ đơn giản là không biên dịch, bạn phải viết nó là bar<int,10>()).

N3601 đề xuất sửa chữa điều này bằng cách giới thiệu cú pháp:

template<using typename T, T> void bar(); 

mà sẽ cho phép bar<10>() để biên dịch và gây ra các loại T được suy luận.

Answer 2

Việc giới thiệu giấy là sai lầm: thành ngữ thực sự là

template <typename T, T t> 

Nó biểu thị một mẫu mà phụ thuộc vào một loại T và một giá trị t của loại đó. Ký hiệu hơi nặng vì trong hầu hết các trường hợp, kiểu có thể được suy ra từ chính giá trị đó.

Ví dụ:

// the current definition notation 
template <typename T, T t> void f() { t.f(); }; 

//// the proposed definition notation 
//// the parameter t depends on an implicit typename parameter T 
// template <using typename T, T t> void f() { t.f(); }; 

struct foo { 
    void f(){ 
     // some computation 
    } 
}; 

foo bar; 

int main(){ 
    // the current instantiation notation 
    f<foo,bar>(); 
    //// the proposed instantiation notation 
    //// we know that bar is of type foo, so we don't need to specify it 
    // f<bar>(); 
} 

Đề xuất giới thiệu một chút "đường cú pháp" để làm cho ký hiệu dễ viết hơn. Ngoài ra, ví dụ ở trên là tầm thường trong mô tả của nó (và có thể sai, vì thông số mẫu cần phải là constexpr), nhưng bài báo mô tả một số tình huống mà ký pháp hiện tại có thể trở nên khá lông, giảm khả năng đọc và dễ dàng tổng thể lập trình.