Làm thế nào để gọi thành ngữ của việc sử dụng một mảng để áp dụng một chức năng để một gói variadic

Question

Đây là thành ngữ trong câu hỏi:

template<typename... T> 
void f(T... t) { 
    int temp[] = {(g(t), 0)...}; 
} 

này sẽ được biên dịch như g(t0); g(t1); ..., trật tự của chức năng cuộc gọi được đảm bảo bởi C + +11 [dcl.init.list]/4.
Phiên bản tốt hơn sử dụng std::initializer_list thay vì mảng, nhưng không quan trọng ở đây.

Câu hỏi đặt ra là: chúng ta nên gọi thành ngữ này như thế nào?

UPD:
Về cơ bản, đó là thành ngữ mà chúng ta nên tư vấn cho những người sử dụng nó thay vì đệ quy, tức là để thay thế hai quá tải
void f() {}
void f(H head, T... tail) { g(head); f(tail...); }
với single
void f(T... t) { int temp[]{(g(t), 0)...}; }

Tất nhiên chúng ta có thể gọi nó là "Một thành ngữ sẽ được thay thế bởi Fold Expressions" nhưng tôi hy vọng có một thuật ngữ thích hợp cho nó.

Answer 1

Mở rộng gói.

C++ 11 §5.1.2/23 trong [expr.prim.lambda]:

” Một chụp Tiếp theo một dấu chấm lửng là một mở rộng gói (14.5.3). [Ví dụ:

template<class... Args> 
void f(Args... args) { 
    auto lm = [&, args...] { return g(args...); }; 
    lm(); 
} 

-end dụ]

Tôi nghĩ rằng bao gồm nó. Việc mở rộng gói mà không áp dụng một hàm có thể được xem là một hàm áp dụng một hàm nhận dạng.

C++ 11 §14.5.3/4 trong [temp.variadic]:

Một mở rộng gói bao gồm một mô hình và một dấu chấm lửng, instantiation trong đó sản xuất không hay nhiều instantiations của mẫu trong danh sách (được mô tả bên dưới). [& hellip;]

Answer 2

Có lẽ "chức năng mở rộng cuộc gọi trên gói thông số"?

Answer 3

Hãy phân biệt gấp và ánh xạ. lần lượt hàng loạt dữ liệu đầu vào thành một giá trị duy nhất. bản đồ biến loạt đầu vào thành chuỗi đầu ra. (Tất nhiên, ánh xạ có thể được biểu diễn dưới dạng các chuỗi vô hướng gấp thành một danh sách đơn).

Ở đây chúng tôi ánh xạ tất cả các đầu vào thành giá trị rỗng. Nếu chúng ta làm nổi bật tác dụng phụ của g (x0), g (x1), vv - chúng ta có thể nói về ánh xạ. Nếu chúng ta làm nổi bật khoảng trống sản xuất, chúng ta có thể nói về nếp gấp tinh khiết. Nhưng điều này là vô nghĩa, tôi nghĩ vậy.

std :: transform là ánh xạ. std :: tích lũy gấp. Std :: for_each là gì? Lập bản đồ hoặc gấp? (BTW, nó được gấp, bởi vì nó trả về một đối tượng hàm trạng thái với trạng thái tích luỹ). Theo như chức năng đầu vào là unary, không nhị phân, nó được lập bản đồ (hợp nhất với gấp).

So. Tôi muốn đưa ra thành ngữ này "variadic for-each".