如何使用“decltype”和可變參數模板函數來計算其參數的總和？

尾隨回傳類型將decltype 與可變參數模板函數結合使用

嘗試建立一個使用可變參數累積其參數總和的函數時模板和尾隨返回類型語法出現了挑戰。具體來說，編譯器可能會遇到具有兩個以上參數的函數的錯誤。這是因為可變參數函數模板只有在指定其傳回類型後才被視為聲明，導致 decltype 中的 sum 無法引用可變參數函數模板本身。

潛在的解決方法包括使用自訂特徵類別來避免decltype 表達式中的遞歸呼叫：

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,U,P...>
: sum_type< decltype( val<const T&amp;>() + val<const U&amp;>() ), P... > {};

這允許用typename 取代原始程式中的decltype sum_type::type，使編譯能夠成功。

為了確保求和遵循運算順序（例如，a (b c)），最終特化為sum_type 可以修改如下：

template<class T, class U, class... P> struct sum_type<T,U,P...>
: id<decltype(
      val<T>()
    + val<typename sum_type<U,P...>::type>()
)>{};

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