Tuple 型別登場：C++ 標準庫擴展的多重回傳值優雅解法

2002 年 10 月 C++ 標準委員會會議通過兩大庫擴展提案，其中 Jaakko Järvi 的 tuple 型別（源自 Boost）徹底解決了「函式需要回傳多個值」的長期痛點。本文追隨 Herb Sutter 筆觸，從動機案例切入，展示 tuple 的強大表達力。

痛點：單一回傳值的侷限

// 僅回傳商數
int IntegerDivide(int n, int d) { return n / d; }

// 需同時取得商數與餘數，傳統做法：
// 1. 輸出參數（語意不清）
int IntegerDivide(int n, int d, int& r) { r = n % d; return n / d; }

// 2. 雙輸出參數（對稱但冗長）
void IntegerDivide(int n, int d, int& q, int& r) { q = n / d; r = n % d; }

// 3. std::pair（僅限兩值，型別固定）
std::pair<int,int> IntegerDivide(int n, int d) {
    return std::pair<int,int>(n/d, n%d);
}

Tuple 解決方案：任意元數、型別安全、語意清晰

#include <tuple>  // C++11 標準庫，或 boost/tuple/tuple.hpp

// 回傳 tuple<int, int>
std::tuple<int,int> IntegerDivide(int n, int d) {
    return std::tuple<int,int>(n/d, n%d);
}

// 使用 get<N>() 存取（編譯期索引）
auto result = IntegerDivide(5, 4);
std::cout << "quotient = " << result.get<0>()  // 1
          << " remainder = " << result.get<1>(); // 1

超越 pair：支援 3+ 元素

// 浮點除法：商數、餘數、是否下溢
std::tuple<float, float, bool> FloatDivide(float n, float d) {
    // 實作略...
    return std::make_tuple(quotient, remainder, underflow);
}

// 若用 pair 需嵌套：pair<float, pair<float, bool>> —— 可讀性極差

結構化綁定（C++17）與 tie 解包

// C++17 結構化綁定（最推薦）
auto [q, r] = IntegerDivide(5, 4);  // 直接宣告變數

// C++11/14 使用 std::tie
int quotient, remainder;
std::tie(quotient, remainder) = IntegerDivide(5, 4);

// 忽略特定值
std::tie(std::ignore, remainder) = IntegerDivide(5, 4);  // 只要餘數

Tuple 輸出格式化

std::tuple<int,int> tr = IntegerDivide(5, 4);
std::cout << tr;  // 輸出：(1 1)

// 自訂格式
std::cout << std::tuples::set_open('[')
          << std::tuples::set_close(')')
          << std::tuples::set_delimiter(',')
          << tr;  // 輸出：[1,1]

Tuple vs Pair vs Struct 對比

適用場景建議

• Tuple：臨時性多值回傳、泛型程式中統一處理異質序列、與 std::apply、std::make_from_tuple 配合。
• Pair：語意明確的雙元組（如 map::value_type、minmax 結果）。
• Struct：穩定公開 API、領域模型核心型別、需文件化欄位語意時。

Tuple 將「多重回傳值」從權宜之計昇華為第一級語言支援，配合 C++17 結構化綁定，已成現代 C++ 不可或缺的工具箱核心組件。