C ++模板允许丢弃const引用限定符

时间:2013-10-29 09:54:32

标签: c++ templates c++11 variadic-templates

为什么这段代码会编译?(用g ++和clang ++测试)

以下代码用于接受函数并从中创建转发std :: function的工厂方法。如您所见,lambda内部接受const Arg&个参数并将它们转发给给定的函数。

main()中,我使用factory()test_func()创建一个转发器,该转发器接受非const引用参数。我不明白为什么这不会产生关于从参数中丢弃const限定符的错误。

请注意,确实在C中创建的类main()的实例在不创建任何副本的情况下传递。

#include <functional>
#include <iostream>

class C
{
public:
        C() {}

        C(const C&)
        {
                std::cout << "C copy\n";
        }
};

int test_func(C& cref)
{
        return 0;
}

template<typename Ret, typename... Arg>
std::function<Ret (const Arg&...)> factory(Ret (*func) (Arg...))
{
        return [ func ] (const Arg&... arg) -> Ret {
                return (func)(arg...);
        };
}

int main() {
        auto caller = factory(test_func);
        C c;
        caller(c);
        return 0;
}

1 个答案:

答案 0 :(得分:5)

如评论中所述,您应该使用完美转发(请参阅Scott Meyers关于Universal reference的演示文稿)。

在你的情况下,它应该是:

#include <functional>
#include <iostream>
#include <utility>

class C
{
public:
        C() {}

        C(const C&)
        {
                std::cout << "C copy\n";
        }
};

int test_func(const C& )
{
        return 0;
}

template<typename Ret, typename... Arg>
std::function<Ret (Arg...)> factory(Ret (*func) (Arg...))
{
        return [ func ] (Arg&&... arg) -> Ret {
                return func(std::forward<Arg>(arg)...);
        };
}

int main() {
        auto caller = factory(test_func);
        const C c;
        caller(c);
}

请注意我已将C c;更改为const C c;中的main(),并修改了test_func。


如果你想避免创建副本,你必须确保test_func函数没有按值获取。它应该通过引用(非const的const)。