1

我有一个模板化的 C++ 类，在其成员函数之一上有一个进一步的模板。

我在我的代码中的两个地方调用它，其中一个有效，另一个生成一个非常令人困惑的错误，归结为下面的示例代码：

#include <memory>

template <unsigned char N>
struct Foo
{
    template <typename OtherFoo, unsigned X>
    void do_work (
        const OtherFoo * __restrict,
        float,
        Foo * __restrict
        )
    const
    {
    }
};

struct Bar
{
    std :: unique_ptr <Foo<0>> foo_0;
    std :: unique_ptr <Foo<1>> foo_1;
    std :: unique_ptr <Foo<2>> foo_2;

    void run (float);

    template <typename FOO>
    void run (std :: unique_ptr <FOO> & foo, float x)
    {
        FOO out;
        foo -> template do_work <123> (foo_2.get(), x, &out);
    }
};

void Bar :: run (float x)
{
    if (foo_0)
        run (foo_0, x);
    else
        run (foo_1, x);
}

int main ()
{
    Bar bar;
    bar .run (1.23);
}

错误消息非常简单，但显然是错误的。

temp.cpp: In member function ‘void Bar::run(std::unique_ptr<FOO>&, float) [with FOO = Foo<0u>]’:
temp.cpp:61:16:   instantiated from here
temp.cpp:54:3: error: no matching function for call to ‘Foo<0u>::do_work(Foo<2u>*, float&, Foo<0u>*)’
temp.cpp: In member function ‘void Bar::run(std::unique_ptr<FOO>&, float) [with FOO = Foo<1u>]’:
temp.cpp:63:16:   instantiated from here
temp.cpp:54:3: error: no matching function for call to ‘Foo<1u>::do_work(Foo<2u>*, float&, Foo<1u>*)’

让我们看看，没有匹配的函数调用Foo<1u>::do_work(Foo<2u>*, float&, Foo<1u>*)...？不，在我看来，这完全像 Foo:: do_work的有效实例化。

编译器错了吗？（ubuntu 12.04 上的 gcc 4.5.1）特别奇怪的是，这段代码确实在代码中其他地方的等效调用中编译（完整的东西有太多的依赖关系，无法在此处有意义地复制）。

4

1 回答 1

2

您应该更改do_work<>()函数模板的模板参数的顺序，否则您的实例化确实不正确：

//   template<typename OtherFoo, unsigned X> // This order is not appropriate.
                                             // Let template parameters that
                                             // cannot be deduced come first...
     template<unsigned X, typename OtherFoo>
     //       ^^^^^^^^^^  ^^^^^^^^^^^^^^^^^
     //       THIS FIRST      THEN THIS
     void do_work(const OtherFoo* __restrict, float, Foo* __restrict) const
     {
     }

这是因为在以下函数调用中，您为第一个模板参数提供了显式参数：

foo->template do_work<123>(foo_2.get(), x, &out);
于 2013-02-26T15:18:47.293 回答