Может ли `auto const * const` вводиться в однотипный тип?

Question

Я хотел бы упростить типирование auto const*const конструкции, создавая что-то вроде ЬурейеЕ

// (pseudocode) 
using deepcp=auto const*const; 
deepcp a=f(1),b=f(2),c=f(3); 
auto lam=[](deepcp x,deepcp y,deepcp z){ return *x+*y+*z; }; 

Могу ли я добиться чего-то вроде tihs с C++? Может быть, шаблонные псевдонимы помогут?

Answer 1

Предполагая f является функцией (а не какой-то макрос, который возвращает разные типы), и f возвращает некоторое сырье типа указателя, вы можете использовать decltype:

using ret_f_t = decltype(f(1)); 
using pointee_t = std::pointer_traits<ret_f_t>::element_type; 
using deepcp std::add_const<pointee_t>::type * const; 

Или, как одна линия фетиш:

using deepcp = std::add_const< 
    std::pointer_traits<decltype(f(1))>::element_type 
>::type * const ; 

Yay.

Примечание: Я использовал add_const, потому что я не знаю, из вашего примера, возвращает ли f указатель или константный указатель, то есть, если pointee_t является сопзЬ или нет - это так, как это работает для обеих возможностей.

[Example]

Answer 2

#define deepcp auto const * const 

сделает ваши торги