C++에서 가변 일반 람다를 사용하여 합계를 계산하는 방법은 무엇입니까?

Question

나는 다음과 같은 일반적인 합계 함수를 작성하고 싶어하지만 템플릿 구문하지만 람다 구문 :

: 일반 람다 템플릿에 매핑되기 때문에

template<typename T> 
auto Sum(T lastSummand) 
{ 
    return lastSummand; 
} 

template<typename T, typename... Ts> 
auto Sum(T firstSummand, Ts... restSummands) 
{ 
    return firstSummand + Sum(restSummands...); 
} 

이 같은 일을 할 수 있어야한다

auto sum = [](auto firstSummand, auto... restSummands) { ... }; 

하지만 람다를 사용하여 재귀를 수행하는 방법을 알 수 없습니다. 이 위치와 다른 위치에서 검색해도 많은 것을 얻지 못했습니다.

Answer 1

C++ 14에서는 일반 람다를 사용하여 재귀를 수행 할 필요가 없습니다. 예를 들어
, 당신은이 작업을 수행 할 수 있습니다

#include<type_traits> 
#include<iostream> 

int main() { 
    auto l = [](auto... values) { 
     std::common_type_t<decltype(values)...> ret = {}; 
     decltype(ret) _[] = { (ret += values)... }; 
     (void)_; 
     return ret; 
    }; 

    auto v = l(0, 0., 5, 4.2); 
    std::cout << v << std::endl; 
} 

반환 유형은 주어진 팩의 std::common_type_t에 의해 주어진다.
코드의 나머지 부분은 접기 식을 기다리는 동안 일반적으로 사용되는 공통 패턴을 포함합니다.

C++ 17에서는이 될 것입니다 :

#include<iostream> 

int main() { 
    auto l = [](auto... values) { return (values + ...); }; 
    auto v = l(0, 0., 5, 4.2); 
    std::cout << v << std::endl; 
} 

이 wandbox에를 참조하십시오.

auto l = [](auto... values) { 
    static_assert(
     std::is_same< 
      std::integer_sequence<bool, true, std::is_arithmetic<decltype(values)>::value...>, 
      std::integer_sequence<bool, std::is_arithmetic<decltype(values)>::value..., true> 
     >::value, "!" 
    ); 

    std::common_type_t<decltype(values)...> ret = {}; 
    decltype(ret) _[] = { (ret += values)... }; 
    (void)_; 
    return ret; 
}; 

Answer 2

글쎄, 나는 람다를 사용한다면 합계를 계산하기 위해 펑터 (functor) 형이 필요하다고 가정하고 있습니다. 그렇다면 작은 λ 클래스를 작성하여 그 람다 대신 사용할 수 있다고 가정합니다.

template < typename T > struct Sum 
{ 
    template < typename U > 
    T operator() (U v) const noexcept 
    { 
     return static_cast<T>(v); 
    } 

    template < typename U, typename... Values > 
    T operator() (U v, Values&&... vs) const noexcept 
    { 
     return static_cast<T>(v) + (*this)(std::forward<Values>(vs)...); 
    } 
}; 

그리고 사용 :

auto sum = Sum<int>(); 
printf("%d\n", sum(23, 4.0, true, 7)); 

내가 반환 형식이 사전에 지정 될 수있는 방법을 썼다. 하지만 제네릭을 만들기 위해 그것을 조정할 수 있다고 생각합니다.

귀하의 의도가 아니라면이 대답을 무시하십시오.