Добавить константу в ссылку

Somehow it doesn't work. Is this not possible in c++?

Не с тем, как вы это делаете. typedef не работает как макросы препроцессора.

typedef int& A;
typedef const A B;

не переводится на

typedef int& A;
typedef const int& B;

const в

typedef const A B;

относится к A, а не к int части A. Поскольку ссылки в C++ неизменяемы, const A совпадает с A с точки зрения типа.

Ты можешь использовать:

typedef int const& B;

Если вы хотите получить его от A, вы должны использовать:

using B = typename std::remove_reference<A>::type const&;

Если вы можете использовать C++ 14 или более позднюю версию, вы можете упростить это, чтобы:

using B = std::remove_reference_t<A> const&;

К сожалению, std::add_const<T> не подходит для ссылок. Способ добавления const к ссылке следующий:

    using in_type = double&;

    using out_type = std::add_lvalue_reference_t<std::add_const_t<std::remove_reference_t<in_type>>>;

    static_assert( std::is_same<out_type, double const&>{} , "!");