Почему у результата range-v3 требуется конструктор по умолчанию

Question

Я пытаюсь понять, по каким причинам семейство функций yield требует, чтобы класс был по умолчанию конструктивным?

В следующем примере строка vnums1 компилируется только в том случае, если CNUM имеет конструктор по умолчанию. Строка vnums2 не требует конструктора по умолчанию.

Я использую Visual Studio 2017 и Range-V3-VS2015. Спасибо!

#include <range/v3/all.hpp> 

struct CNum 
{ 
    // CNum() = default; 
    explicit CNum(int num) : m_num(num) {} 
    int m_num; 
}; 

int main() 
{ 
    auto ints = ranges::view::ints(0, 10); 

    // this compiles only of CNum has a default constructor 
    auto vnums1 = ints 
     | ranges::view::for_each([](int num) { return ranges::yield_if(num % 2, CNum(num)); }) 
     | ranges::to_vector; 

    // this compiles even if CNum does not have a default constructor 
    auto vnums2 = ints 
     | ranges::view::remove_if([](int num) { return num % 2 == 0; }) 
     | ranges::view::transform([](int num) { return CNum(num); }) 
     | ranges::to_vector; 

    return 0; 
} 

Answer 1

Мы просто изменили код, чтобы не требовать DefaultConstructible. git тянуть и наслаждаться.

Answer 2

Причина вы должны по умолчанию конструктора использовать ranges::yield_if является то, что она использует механизм требует типа, чтобы быть по умолчанию constructable. Если мы посмотрим на код, который мы имеем

struct yield_if_fn 
{ 
    template<typename V> 
    repeat_n_view<V> operator()(bool b, V v) const 
    { 
     return view::repeat_n(std::move(v), b ? 1 : 0); 
    } 
}; 

/// \relates yield_if_fn 
/// \ingroup group-views 
RANGES_INLINE_VARIABLE(yield_if_fn, yield_if) 

И мы видим, что он вызывает view::repeat_n. Глядя на этот код мы получаем

repeat_n_view<Val> operator()(Val value, std::ptrdiff_t n) const 
{ 
    return repeat_n_view<Val>{std::move(value), n}; 
} 

И если мы посмотрим на repeat_n_view мы имеем

// Ordinarily, a view shouldn't contain its elements. This is so that copying 
// and assigning ranges is O(1), and also so that in the event of element 
// mutation, all the copies of the range see the mutation the same way. The 
// repeat_n_view *does* own its lone element, though. This is OK because: 
// - O(N) copying is fine when N==1 as it is in this case, and 
// - The element is immutable, so there is no potential for incorrect 
// semantics. 

struct repeat_n_view 
    : view_facade<repeat_n_view<Val>, finite> 
{ 
private: 
    friend range_access; 
    Val value_; 
    std::ptrdiff_t n_; 

    // ... 
public: 
    repeat_n_view() = default; 
    constexpr repeat_n_view(Val value, std::ptrdiff_t n) 
     : value_(detail::move(value)), n_((RANGES_EXPECT(0 <= n), n)) 
    {} 
    constexpr std::size_t size() const 
    { 
     return static_cast<std::size_t>(n_); 
    } 
}; 

Мы видим из комментария, что это было дизайнерское решение, и из-за этого проекта вам нужен тип, чтобы быть default конструктив. Эрик описывает тип требуемого как SemiRegular который документированный в

это должно быть по умолчанию constructable, копировать и перемещать constructable и destructable.