std::bind返回的类型可以默认构造吗？

Question

我可以 typedef return 类型的 std::bind 表达式，但显然编译器对我调用这种类型的默认构造函数不满意。相反，我必须首先传递与 std::bind 完全相同的参数（参见下文）；为什么？我做错了吗？

#include <iostream>
#include <functional>

#define x_plus_one(T) std::bind<T>( f_plus<T>(), std::placeholders::_1, T(1) )

template <class T>
struct f_plus
{
    inline T operator() ( const T& a, const T& b ) const
        { return a + b; }
};

template <class T>
using x_plus_one_type = decltype( x_plus_one(T) );

int main()
{
    auto f = x_plus_one(double);
    std::cout<< f(3.2) << "\n";

    // auto g = x_plus_one_type<double>(); ==> fails, no matching constructor
    auto g = x_plus_one_type<double>( f_plus<double>(), std::placeholders::_1, 1 ); // but this works?!
    std::cout<< g(3.2) << "\n";
}

我也尝试传递一个 f_minus 函数对象，并交换占位符和 1，但编译器不喜欢它，这让我很困惑。唯一有用的小 "hack" 是替换 1，其中 2，它告诉我无论 bind 编辑的 return 是什么类型，它都不会复制输入。为什么不？有没有办法强制复制？

Answer 1

std::bind 返回的类型未指定。因此，它是否可以通过调用 std::bind 以外的任何方式构造是未指定的。您可以使用 std::unique_ptr 或 boost::optional 来获得未构造的值。

std::bind返回的类型可以默认构造吗？

Can the type returned by std::bind be default-constructed?

c++

c++11

bind

typedef

default-constructor