如何使用'decltype”和可變參數模板函數來求和參數？

將decltype 與可變參數模板函數結合使用

當嘗試使用decltype 編寫返回具有適當類型的總和的可變參數模板函數時，它可能會遇到一些意想不到的問題。

問題

最初，宣告的函數沒有尾隨回傳型別。但是，當傳遞多個參數時，編譯器會將函數解釋為未定義。使用尾隨返回類型聲明函數可以解決兩個以上參數的問題，但會導致不同類型參數的返回類型不正確。

問題

decltype 是無法推斷兩個以上參數的t sum(p...) 的類型，因為可變參數函數模板僅在返回類型之後宣告

解決方法

為了避免decltype中的這種遞歸調用，可以使用自訂特徵類別。 sum_type 類別決定多個參數總和的類型，無需遞歸推導。

更新的程式碼

將程式中的decltype 替換為型別名sum_type::輸入如圖：

#include <iostream>
#include <type_traits>
using namespace std;

template<class t> typename std::add_rvalue_reference<t>::type val();

template<class t> struct id{typedef T type;};

template<class t class... p> struct sum_type;
template<class t> struct sum_type<t> : id<t> {};
template<class t class u class... p> struct sum_type<t>
: sum_type() + val<const u>() ), P... > {};</const></t></class></t></t></class></class></class></t></class></type_traits></iostream>

此方法傳回decltype((a b) c) 而非decltype(a (b c))。要獲得 decltype(a (b c)) 的更精確結果，請修改最後一個特化，如下所示：

template<class t class u class... p> struct sum_type<t>
: id<decltype val>()
    + val<typename sum_type>::type>()
)>{};</typename></decltype></t></class>

以上是如何使用'decltype”和可變參數模板函數來求和參數？的詳細內容。更多資訊請關注PHP中文網其他相關文章！