3

这是一个错误还是我仍然对模板一无所知？如果是这样，为什么会这样，可以做些什么？

如果我删除前两个前向声明，我会在 BARef 定义的地方得到相同的错误。

template<typename T, 
         unsigned int blockInitSize, 
         unsigned int blockMaxSize>
struct BAInternalIndex;

template<typename T,
         unsigned int blockInitSize, 
         unsigned int blockMaxSize,
         BAInternalIndex<T, blockInitSize, blockMaxSize>* (&getIndexPointer) (const T&)>
class BARef;

template<typename T, 
         unsigned int blockInitSize, 
         unsigned int blockMaxSize>
struct BAInternalIndex
{
    template<typename T2, 
             unsigned int blockInitSize2, 
             unsigned int blockMaxSize2,
             BAInternalIndex<T2, blockInitSize2, blockMaxSize2>* (&getIndexPointer2) (const T2&)>
    friend class BARef;
};

error C3855: 'BARef': template parameter 'getIndexPointer' is incompatible with the declaration

尝试使用 Visual C++ 9.0 和 11.0 进行编译。

最小示例/SSC(n)CE：

template<typename T>
struct A;

template<typename T, void(&fun)(A<T>)>
class B;

template<typename T>
struct A
{
    template<typename T2, void(&fun)(A<T2>)>
    friend class B;                                // line 11
};                                                 // line 12

int main()
{
    A<int> a;                                      // line 16
}

VS2010 (v10) 错误输出：

（第 11 行）错误 C3855：`B`：模板参数 `fun` 与
                            宣言
（第 12 行）参见对类模板实例化 `A` 的引用
                       编译

（第 11 行）错误 C3855：`B`：模板参数 `fun` 与
                            宣言
（第 16 行）参见对类模板实例化 `A` 的引用
                       编译
                       和
                       [
                           `T=int`
                       ]
4

0 回答 0