serial_expr.hpp

Go to the documentation of this file.

//=======================================================================
// Copyright (c) 2014-2023 Baptiste Wicht
// Distributed under the terms of the MIT License.
// (See accompanying file LICENSE or copy at
//  http://opensource.org/licenses/MIT)
//=======================================================================

#pragma once

#include "etl/wrapper_traits.hpp"

namespace etl {

template <typename Expr>
struct serial_expr final {
    using expr_t     = Expr;          
    using value_type = value_t<Expr>; 

private:
    Expr value;

    friend struct wrapper_traits<serial_expr>;

public:
    //Cannot be constructed with no args
    serial_expr() = delete;

    explicit serial_expr(Expr l) : value(std::forward<Expr>(l)) {
        //Nothing else to init
    }

    //Expresison can be copied and moved
    serial_expr(const serial_expr& e)     = default;
    serial_expr(serial_expr&& e) noexcept = default;

    //Expressions are invariant
    serial_expr& operator=(const serial_expr& e) = delete;
    serial_expr& operator=(serial_expr&& e) = delete;

    template <typename E>
    bool alias(const E& other) const noexcept {
        return value.alias(other);
    }

    // Assignment functions

    template <typename L>
    void assign_to(L&& lhs) const {
        auto old_serial = local_context().serial;

        local_context().serial = true;

        value.assign_to(lhs);

        local_context().serial = old_serial;
    }

    template <typename L>
    void assign_add_to(L&& lhs) const {
        auto old_serial = local_context().serial;

        local_context().serial = true;

        value.assign_add_to(lhs);

        local_context().serial = old_serial;
    }

    template <typename L>
    void assign_sub_to(L&& lhs) const {
        auto old_serial = local_context().serial;

        local_context().serial = true;

        value.assign_sub_to(lhs);

        local_context().serial = old_serial;
    }

    template <typename L>
    void assign_mul_to(L&& lhs) const {
        auto old_serial = local_context().serial;

        local_context().serial = true;

        value.assign_mul_to(lhs);

        local_context().serial = old_serial;
    }

    template <typename L>
    void assign_div_to(L&& lhs) const {
        auto old_serial = local_context().serial;

        local_context().serial = true;

        value.assign_div_to(lhs);

        local_context().serial = old_serial;
    }

    template <typename L>
    void assign_mod_to(L&& lhs) const {
        auto old_serial = local_context().serial;

        local_context().serial = true;

        value.assign_mod_to(lhs);

        local_context().serial = old_serial;
    }

    friend std::ostream& operator<<(std::ostream& os, const serial_expr& expr) {
        return os << "serial(" << expr.value << ")";
    }
};

template <typename Expr>
struct etl_traits<etl::serial_expr<Expr>> : wrapper_traits<etl::serial_expr<Expr>> {};

} //end of namespace etl