eve::detail::ResultConstConversion 概念引用

True when From may convert into To only by adding const. 更多...

#include <Result.h>

概念定义

template<class From, class To>
concept eve::detail::ResultConstConversion = 
    std::is_same_v<To, const From> ||
    (std::is_pointer_v<From> && std::is_same_v<To, const std::remove_pointer_t<From>*>)

详细描述

True when From may convert into To only by adding const.

Allows T → const T and T* → const T*. Dropping const, including const T* → T*, is rejected so a const Result cannot be widened back into a mutable one. void is excluded; Result<void> is a separate type.

在文件 Result.h 第 117 行定义.