显式函数模板专业化选择了错误的专业化

Question

我在 class 中有 2 个函数，一个是 operator+= 的默认规范，它需要某种函数，而第二个规范需要一个 EventHandler，这是实现：

    template<typename _Func>
    timed_function<_Sig>& operator+=( _Func &&f )
    {
        // Create an unamed handler
        auto handler = new EventHandler<_Sig>( "unamed", std::forward<_Func>( f ) );

        // Push it
        _fs.push_back( handler );

        // Return a reference to the function
        return handler->get( );
    }

这是专门的版本：

template<>
timed_function<_Sig>& operator+=<const EventHandler<_Sig>&>( const EventHandler<_Sig> &_Handler )
{
    // Copy the handler and push it
    _fs.push_back( new EventHandler<_Sig>( _Handler ) );

    // Return a reference to the function
    return _fs.back( )->get( );
}

其中 _fs 只是 EventHandler<_Sig> 指针的向量。 _Sig 是函数签名（例如 void(int)）

例如在 lambda 函数上使用 += 运算符时，它工作得很好，编译器会选择正确的特化：

window->OnKeyDown( ) += []( dx::Window *sender, dx::KeyDownArgs &args )
{
    [...]
};

OnKeyDown( ) returns 对 Event<void(dx::Window*, dx::KeyDownArgs&)>

实例的引用

然而，当我尝试像这样手动添加 EventHandler 时，它仍然选择该函数的非专用版本。

window->OnKeyDown( ) += EventHandler<void(dx::Window*, dx::KeyDownArgs&)>( "Key Handler", 
                        []( dx::Window *sender, dx::KeyDownArgs &args ) 
                        {
                            [...]
                        } );

谢谢！

Answer 1

您提供 EventHandler<_Sig>&& 而不是 const EventHandler<_Sig>&，因此选择了非专用版本。

Answer 2

要正确专业化，只需使用

template<>
timed_function<_Sig>& operator+=<const EventHandler<_Sig>>...

即从模板专业化中删除引用。这是这种专业化应该如何工作的示例 - 使用熟化类型，但应该有用：

http://coliru.stacked-crooked.com/a/297df51929329484

（根据您的编译器，您可能必须在专业化的“>>”之间放置一个 space）。

显式函数模板专业化选择了错误的专业化

Explicit function template specialization picks the wrong specialization

c++

templates

template-specialization