委托给另一个对象的运算符>

Delegate to another object's operator->

本文关键字：运算符 gt 一个对象      更新时间：2023-10-16

写一个别名模板，它将推断出某些类型T的operator->的返回类型，到目前为止，我有这个

template <typename T>
using arrow = decltype(std::declval<T&>().operator->());

适用于所有类类型，但不适用于指针。一个类似的问题存在，试图实际调用-> 

template <typename T>
struct D {
    T t;
    arrow<T> f() { 
        // not valid to call .operator->() on pointers
        return t.operator->();
    }
};

我怎么能使这个函数得到正确的返回类型声明，并委托正确的类类型和指针?

对于指针，其operator->()的类型是自己的类型，结果对象具有相同的值。通过另一层间接，可以为指针类型

专门化helper结构。
template <typename T>
struct ArrowHelper {
    using type = decltype(std::declval<T&>().operator->());
    type operator()(T& t) const {
        return t.operator->();
    }
};
template <typename T>
struct ArrowHelper<T*> {
    using type = T*;
    constexpr type operator()(T* t) const noexcept {
        return t;
    }
};

为了简化使用，可以很容易地定义别名模板和函数

template <typename T>
using arrow = typename ArrowHelper<T>::type;
template <typename T>
arrow<T> apply_arrow(T& t) {
    return ArrowHelper<T>{}(t);
}

则委托成员函数变为

template <typename T>
struct D {
    T t;
    arrow<T> f() { return apply_arrow(t); }    
};
相关文章：