std::bind返回的类型可以默认构造吗?
Can the type returned by std::bind be default-constructed?
我可以 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 是什么类型,它都不会复制输入。为什么不?有没有办法强制复制?
std::bind
返回的类型未指定。因此,它是否可以通过调用 std::bind
以外的任何方式构造是未指定的。您可以使用 std::unique_ptr
或 boost::optional
来获得未构造的值。
我可以 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 是什么类型,它都不会复制输入。为什么不?有没有办法强制复制?
std::bind
返回的类型未指定。因此,它是否可以通过调用 std::bind
以外的任何方式构造是未指定的。您可以使用 std::unique_ptr
或 boost::optional
来获得未构造的值。