应该将基类的函数模板赋值给指向成员函数的指针

Question

以下代码应该在C ++ 98/03中编译吗？

struct Base
{
    template <typename T> void func () { }
    void norm() {  }
};

struct Derived : public Base { };

template <typename U>
struct Usage
{
    typedef void (U::*Method)();

    Usage(Method test) { }
};

int main()
{
    Usage<Derived> good(&Derived::norm);

    // "Error: Cannot use void(*)() to initialize Usage<Derived>." on next line
    Usage<Derived> bad(&Derived::func<int>);

    return 0;
}

这个代码片段几乎适用于我能够尝试的每个编译器; 保存Sun C ++ 5.11和Sun C ++ 5.12。

这应该是一个错误吗？ 如果是这样，有人知道它是否已报告给供应商（目前是Oracle）？

编辑：

我将接受一个答案，该答案提供来自C ++ 03或C ++ 11标准文档的适当相关引用。 或者，如果您可以向Oracle提供有关错误报告的信息。

Answer 1

我刚刚阅读了大部分的C ++ 98标准，第14章。关于什么类型的结果（专门的）模板成员没有太多说法，所以我认为它遵循的想法是作为模板方法不会它不是一种方法。 我有一点时间，我会看看C ++ 11是否会更多地说明它。

根据我对C ++的一般看法，我知道你的代码应该通过 - 大多数编译器都同意这个也是一个线索，不是吗？ :)