How can I ensure correct return type deduction with a variadic template function using trailing return type and `decltype`?

Trailing Return Type Using decltype with a Variadic Template Function

While attempting to implement a basic adder function that accumulates the arguments and returns a sum with an appropriate type, a user encountered issues with the compiler's inability to deduce the return type correctly.

Code Snippet:

template <class t class p...>
auto sum(const T& t, const P&... p) -> decltype(t + sum(p...))
{
   return t + sum(p...);
}</class>

With the above code, the compiler struggles to resolve the return type when more than two arguments are involved. To address this, the user modified the function declaration:

template <class t class p...>
T sum(const T& t, const P&... p);</class>

This modification fixed the issue but introduced another problem: the function returned an integer for mixed-type arguments, which was not desired.

Discussion and Resolution:

The problem arises because the trailing return type using decltype is only considered declared after the return type is specified. However, in this case, the return type depends on the recursive call to sum.

To resolve this, a custom traits class is introduced:

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>

By replacing decltype with typename sum_type::type, the issue is resolved. Alternatively, the user could modify the last specialization of the sum_type class to ensure the correct association of operators:

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

With these modifications, the adder function accurately accumulates arguments and returns the expected sum with the correct type.

The above is the detailed content of How can I ensure correct return type deduction with a variadic template function using trailing return type and `decltype`?. For more information, please follow other related articles on the PHP Chinese website!