std::bind() 中 static_cast 的仿函数版本

Question

我尝试实现 static_cast 的函子版本以在 std::bind() 中使用。

我知道 Boost ll_static_cast() （请参阅将 static_cast 与 boost::bind 结合使用） ，但我现在没有使用 Boost。

为什么几个标准运算符没有标准函子？中有一个代码示例，但它无法在 GCC 上编译4.2.1：

template <typename Target>
struct StaticCast
{
    template <typename Source>
    Target operator()(Source&& source) const
    {
        return static_cast<Target>(source);
    }
}

我设法编译了一些东西，但我不确定它是否正确：

template <class Target>
struct StaticCast : public std::unary_function<void, Target> {
    template <class Source>
    Target operator()(Source& src) const {
        return static_cast<Target>(src);
    }
};

有人可以告诉我这个版本是否正确，如果是这样，为什么我需要 std::unary_function 其中前面的代码示例中没有使用到吗？

用法：

std::vector<BaseObject*> vec;  // BaseObject* are known to be of type 
    // DerivedObject* of course, please don't ask me how or why...

std::for_each(vec.begin(), vec.end(),
    std::bind(&DerivedObject::doStuff,
        std::bind(StaticCast<DerivedObject*>(), std::placeholders::_1),
    "with some string"));

Answer 1

鉴于 C++03 中缺乏完美的转发，您必须进行重载：

template<class Target>
struct StaticCast
{
    typedef Target result_type;

    template<class Source>
    Target operator ()(Source& src) const
    {
        return static_cast<Target>(src);
    }

    template<class Source>
    Target operator ()(Source const& src) const
    {
        return static_cast<Target>(src);
    }
};

请注意，我明确为 result_type 创建了 typedef，而不是继承来自std::unary_function<>。原因是 std::unary_function<> 的第一个模板参数应该是 operator() 的参数类型，但是因为我们的 operator( ) 是一个我们无法提前知道的模板，因此一开始就提供一个模板是不诚实的（尤其是 void，这意味着 operator() 为空，事实上它是一元的）。

---

另外，为了完整起见，以下是函子的正确 C++11 版本：

template<class Target>
struct StaticCast
{
    template<class Source>
    Target operator ()(Source&& source) const
    {
        return static_cast<Target>(std::forward<Source>(source));
    }
}

Answer 2

第一个不起作用的一个原因可能是因为您在不支持 C++11 的编译器上使用右值引用。

您需要 std::unary_function 的原因是为您的类启用 std::result_of，std::bind 使用该类来推导结果类型，因为 C++98 中没有 decltype。

如果您查看 std::unary_function ，您会发现它从您传递的模板参数中定义了类型 result_type ，该类型又由 std:: 使用直接 result_of 或 std::bind 。

Answer 3

好吧，通常你的代码很糟糕：

首先，你可能会遇到临时对象和右值的问题，同时请求它们的非常量引用，

例如

float f = StaticCast<float>()(4);

甚至无法编译。

然后，您在投射时制作对象的副本。这可能不是您想要的。

源示例没有由于move语义而产生的缺点