Decltype(auto) idiom dalam C 14 membenarkan potongan jenis pembolehubah daripada ungkapan yang diberikan. Walaupun penggunaan utamanya adalah untuk membolehkan pengisytiharan automatik mematuhi peraturan decltype, terdapat beberapa aplikasi lain yang berharga untuk ciri ini.
Dalam kod generik, adalah penting untuk memajukan jenis pulangan dengan sempurna tanpa pengetahuan awal sama ada nilai pulangan ialah rujukan atau nilai. decltype(auto) menyediakan fungsi ini:
template<class Fun, class... Args> decltype(auto) Example(Fun fun, Args&&... args) { return fun(std::forward<Args>(args)...); }
Apabila mentakrifkan templat rekursif, rekursi tak terhingga semasa instantiasi boleh berlaku jika jenis pulangan diisytiharkan sebagai decltype(...) dan bukannya decltype(auto). Yang terakhir membenarkan untuk menangguhkan potongan jenis pemulangan sehingga selepas instantiasi templat:
template<int i> struct Int {}; constexpr auto iter(Int<0>) -> Int<0>; template<int i> constexpr auto iter(Int<i>) -> decltype(auto) { return iter(Int<i-1>{}); } int main() { decltype(iter(Int<10>{})) a; }
decltype(auto) juga boleh digunakan dalam pelbagai konteks lain , termasuk permulaan pembolehubah:
int i; int&& f(); auto x3a = i; // decltype(x3a) is int decltype(auto) x3d = i; // decltype(x3d) is int auto x4a = (i); // decltype(x4a) is int decltype(auto) x4d = (i); // decltype(x4d) is int& auto x5a = f(); // decltype(x5a) is int decltype(auto) x5d = f(); // decltype(x5d) is int&& auto x6a = { 1, 2 }; // decltype(x6a) is std::initializer_list<int> decltype(auto) x6d = { 1, 2 }; // error, { 1, 2 } is not an expression auto *x7a = &i; // decltype(x7a) is int* decltype(auto)*x7d = &i; // error, declared type is not plain decltype(auto)
Atas ialah kandungan terperinci Apakah aplikasi praktikal `decltype(auto)` dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!