into.hpp

Go to the documentation of this file.

// Copyright (c) 2019 by Robert Bosch GmbH. All rights reserved.
// Copyright (c) 2021 - 2023 by Apex.AI Inc. All rights reserved.
// Copyright (c) 2025 Contributors to the Eclipse Foundation
//
// See the NOTICE file(s) distributed with this work for additional
// information regarding copyright ownership.
//
// This program and the accompanying materials are made available under the
// terms of the Apache Software License 2.0 which is available at
// https://www.apache.org/licenses/LICENSE-2.0, or the MIT license
// which is available at https://opensource.org/licenses/MIT.
//
// SPDX-License-Identifier: Apache-2.0 OR MIT
 
#ifndef IOX2_BB_INTO_HPP
#define IOX2_BB_INTO_HPP
 
#include "iox2/bb/detail/attributes.hpp"
#include "iox2/legacy/type_traits.hpp"
 
namespace iox2 {
namespace bb {
 
template <typename D>
struct Lossy { };
 
namespace detail {
template <typename T>
struct ExtractIntoType {
    using TargetType = T;
};
 
template <typename T>
struct ExtractIntoType<Lossy<T>> {
    using TargetType = T;
};
} // namespace detail
 
// Using a struct as impl, as free functions do not support partially specialized templates
template <typename SourceType, typename DestinationType>
struct From {
    // AXIVION Next Construct AutosarC++19_03-A7.1.5 : 'auto' is only used for the generic implementation which will always result in a compile error
    static constexpr auto from(const SourceType& value IOX2_MAYBE_UNUSED) noexcept {
        static_assert(legacy::always_false_v<SourceType> && legacy::always_false_v<DestinationType>, "\n \
Conversion for the specified types is not implemented!\n \
Please specialize 'From::from'!\n \
-------------------------------------------------------------------------\n \
template <typename SourceType, typename DestinationType>\n \
constexpr DestinationType From::from(const SourceType&) noexcept;\n \
-------------------------------------------------------------------------");
    }
};
 
template <typename SourceType, typename DestinationType>
constexpr auto from(const SourceType value) noexcept -> typename detail::ExtractIntoType<DestinationType>::TargetType {
    return From<SourceType, DestinationType>::from(value);
}
 
template <typename DestinationType, typename SourceType>
constexpr auto into(const SourceType value) noexcept -> typename detail::ExtractIntoType<DestinationType>::TargetType {
    return from<SourceType, DestinationType>(value);
}
 
} // namespace bb
} // namespace iox2
 
#endif // IOX2_BB_INTO_HPP