Question

我可以typedef 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，但编译器不喜欢它，这真的让我感到困惑。唯一有用的“黑客”就是取代1 2，bind告诉我，无论{{1}}返回什么类型，它都不会复制输入。为什么不？有没有办法强制复制？

Answer 1

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

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

1 个答案: