具有結構化綁定的不同 cv 限定符

Question

C++17 中的結構化綁定聲明允許幾個不同的選項，例如：

std::tuple<int, int> foo();

auto  [a, b] = foo(); // a and b are: int
const auto  [a, b] = foo(); // a and b are: int const
const auto& [a, b] = foo(); // a and b are: int const&

有沒有辦法給a和b不同的 cv 限定符？ 例如a的類型為int和b的類型為int const ？

Answer 1

不 - 這在提案的問答中有所涉及：

是否應該擴展語法以允許const /＆ - 限定個人姓名的類型？

 auto [& x, const y, const& z] = f(); // NOT proposed 

我們認為答案應該是否定的。 這是一個簡單的功能，用於存儲值並將名稱綁定到其組件，而不是聲明多個變量。 允許這樣的限定將是特征蠕變，將特征擴展為不同的東西，即聲明多個變量的方式。 如果我們確實要聲明多個變量，我們已經有了拼寫它的方法：

 auto val = f(); // or auto&& T1& x = get<0>(val); T2 const y = get<1>(val); T3 const& z = get<2>(val); 

Answer 2

這是不允許的，但似乎對結構化綁定的工作方式存在一些誤解。 以下是您的代碼段的實際工作方式：

std::tuple<int, int> foo();

auto  [a, b] = foo(); // `a` and `b` are `int`
auto& [a, b] = foo(); // error: cannot bind a non-const lvalue-ref to an rvalue.
const auto  [a, b] = foo(); // `a` and `b` are: `int const`
const auto& [a, b] = foo(); // `a` and `b` are: `int const`! (NOT `int const&`)
                            // lifetime extension of `foo()` via `const&`.

根據您所提供的示例中，這似乎是這個錯誤是以為auto在auto [a, b]跨變量分布 。 它不是。 auto實際上是初始化程序的類型。 在C ++中，這大致編碼如下：

auto temp = foo();  // `auto` is for the initializer!
// These aren't actually references, but close.
auto&& a = std::get<0>(temp);
auto&& b = std::get<1>(temp);

這與以下內容相反：

auto&& temp = foo();  // save `temp` like range-based `for` does!
// if `auto` in `auto [a, b]` were distributive.
auto a = std::get<0>(temp);
auto b = std::get<1>(temp);