Ngày 37 — std::integer_sequence và std::index_sequence

1. Vấn đề nó giải quyết

Tuple lưu value sau compile-time index nhưng C++14 không có vòng lặp thường nào biến runtime index thành template argument. std::index_sequence tạo các index thành parameter pack để bung.

2. Kiến thức cần có

Ngày 33 và 36: tuple, std::get, variadic template, pack và expansion.

3. Ý tưởng cốt lõi

Integer sequence là một kiểu mang các số compile-time. make_index_sequence<N> tạo 0, 1, ..., N-1, rồi helper function bung chúng thành các biểu thức std::get lặp lại.

4. Cú pháp tối thiểu

template<class Tuple, std::size_t... I>
void print(const Tuple& t, std::index_sequence<I...>);

5. Cách nó hoạt động

Tuple wrapper tính số kiểu phần tử bằng sizeof...(Types).
make_index_sequence tạo index pack và helper bung một thao tác get cho mỗi index.
Mọi phần tử tuple được in theo thứ tự vị trí mà không phải viết overload riêng cho từng tuple size.

6. Lỗi thường gặp

Tạo sequence sai độ dài làm index std::get sau expansion vượt giới hạn tuple ở compile-time.
Trước khi áp dụng mẫu, phải kiểm tra độ dài sequence, index bắt đầu, tuple size đích, mẫu expansion, sequence rỗng và evaluation order.

7. Khi nào nên dùng

Nên dùng khi vị trí compile-time phải điều khiển expansion của tuple, array hoặc callable trong C++14.
Tránh dùng khi container runtime và vòng lặp thường đã mô tả dữ liệu đồng nhất.

8. Ví dụ đơn giản

Tuple gồm ID, tên và điểm được ghép với index 0, 1, 2. Pack expansion gọi std::get cho từng vị trí rồi in row phân cách bằng dấu phẩy.

File .cpp dùng dữ liệu cố định để tự đoán và kiểm tra output.

Mã mẫu hoàn chỉnh

Tệp mã nguồn

cpp14/37_integer_sequence_index_sequence/main.cpp

C++

#include <cstddef>
#include <iostream>
#include <string>
#include <tuple>
#include <utility>

template <class Tuple, std::size_t... I>
void print_tuple_impl(const Tuple& tuple, std::index_sequence<I...>) {
    int sink[] = {0, ((void)(std::cout << (I == 0 ? "" : ", ")
                                            << std::get<I>(tuple)), 0)...};
    (void)sink;
    std::cout << "\n";
}

template <class... Types>
void print_tuple(const std::tuple<Types...>& tuple) {
    print_tuple_impl(tuple, std::index_sequence_for<Types...>{});
}

int main() {
    const auto row = std::make_tuple(1, std::string("An"), 9.5);
    print_tuple(row);
}

9. Điều cần nhớ

Index sequence nối một số lượng compile-time với pack các vị trí compile-time.
Compiler hoặc thư viện luôn theo quy tắc cụ thể; cần kiểm tra độ dài sequence, index bắt đầu, tuple size đích, mẫu expansion, sequence rỗng và evaluation order.
Ưu tiên cách viết nhỏ nhất thể hiện rõ ý định và đo đạc khi hiệu năng thực sự quan trọng.

10. Câu hỏi tự kiểm tra

Dễ — Mục đích chính của std::integer_sequence và std::index_sequence là gì?
Trung bình — std::make_index_sequence<3> chứa các index nào?
Khó — Vì sao biến của vòng for runtime không thể truyền trực tiếp làm non-type template argument cho std::get?

Luyện thẻ của bài này

#include <cstddef> #include <iostream> #include <string> #include <tuple> #include <utility> template <class Tuple, std::size_t... I> void print_tuple_impl(const Tuple& tuple, std::index_sequence<I...>) { int sink[] = {0, ((void)(std::cout << (I == 0 ? "" : ", ") << std::get(tuple)), 0)...}; (void)sink; std::cout << "\n"; } template <class... Types> void print_tuple(const std::tuple<Types...>& tuple) { print_tuple_impl(tuple, std::index_sequence_for<Types...>{}); } int main() { const auto row = std::make_tuple(1, std::string("An"), 9.5); print_tuple(row); }

9. Điều cần nhớ

Index sequence nối một số lượng compile-time với pack các vị trí compile-time.
Compiler hoặc thư viện luôn theo quy tắc cụ thể; cần kiểm tra độ dài sequence, index bắt đầu, tuple size đích, mẫu expansion, sequence rỗng và evaluation order.
Ưu tiên cách viết nhỏ nhất thể hiện rõ ý định và đo đạc khi hiệu năng thực sự quan trọng.