接受 lambda 问题的模板化函数

Question

我有一个这样的模板函数：

template<class RenderableFunc>
void DrawModels(const RenderQueue& renderQueue, RenderableFunc&& preDrawFunc)
{
    // .......
}

这样称呼它：

auto preDrawRenderable = [this](const Renderable& renderable) 
                            {
                                // ...........
                            };

DrawModels<decltype(preDrawRenderable)>(renderQueue, preDrawRenderable);

然而，当使用 VS2013 编译时，我得到了这个：

error C2664: 
with
[
RenderableFunc=JonsEngine::OpenGLRenderer::GeometryStage::<lambda_411ef98538bba0cf82404b7a6f008e46>
]
You cannot bind an lvalue to an rvalue reference

这是为什么？ Afaik 上面的调用是合法的，不是吗？

Answer 1

在这种情况下，不需要显式指定类型模板参数RenderableFunc。编译器会推导出来，一切都会好起来的：

DrawModels(renderQueue, preDrawRenderable);

如果您实际指定它，那么由于preDrawRenderable 是一个未加括号的id 表达式，您将获得实际的闭包类型RenderableFunc，这会将RenderableFunc&& 转换为右值引用。当然，正如编译器告诉你的那样，你不能将左值 preDrawRenderable 绑定到右值引用。

当您让编译器推断类型时，适用于 T&& 形式的参数的特殊规则适用，RenderableFunc 实际上被推断为 对闭包类型的左值引用。根据引用折叠规则，RenderableFunc&& 也是一个左值引用，一切正常。如果你真的想指定模板参数，你可以这样做

DrawModels<decltype((preDrawRenderable))>(renderQueue, preDrawRenderable);

额外的一对括号将decltype 返回的类型更改为左值引用，因为preDrawRenderable 是左值。引用折叠规则再次适用，一切都与让编译器推断类型一样。