c++ - 函数参数的类型是否可推导？

Question

我有一个使用返回码的类:

class MyClass
{
    // ...

public:
    // ValueType get_value() const;               // usual code
    ErrorCode get_value(ValueType& value) const;  // uses error code

   // ...
};

因此，get_value() 的第二种形式实际上提供了作为函数参数的值，而不是作为返回值。

是否可以推断出 get_value() 函数参数的类型，也许使用 decltype？

int main()
{
    // ...

    MyClass my_class;
    // auto val = my_class.get_value();  // okay: value has correct type

    declytype( /* something here */ ) value;
    const auto error = my_class.get_value( value );

    // ...
}

Answer 1

如果你想推断参数的类型，你可以使用模板来做:

namespace detail
{
    template<typename>
    struct Helper;

    template<typename R, typename C, typename T>
    struct Helper <R(C::*)(T)>
    {
        using type = T;
    };
}

然后像这样使用它:

detail::Helper<decltype(&MyClass::get_value)>::type value;
// ...
const auto error = my_class.get_value(value);

参见 related question了解更多详情。