如何理解这样的“两个连续模板”？在 c++通过使用模拟最小示例？

Question

我只了解C++中一些简单的模板用法。

最近，我在一些 OpenFOAM 代码中遇到了以下代码片段，它让我困惑了好几个星期。

（1）您能否通过给出一个最小的工作示例来帮助我解释这种“两个连续模板”的用法？

(2) 是否可以将两个模板替换为单个模板，即template

哦，请忽略Foam、fvMatrix等未知类。

谢谢~

template<class Type>
template<class Type2>
void Foam::fvMatrix<Type>::addToInternalField
(                                            
    const labelUList& addr,                   
    const Field<Type2>& pf,
    Field<Type2>& intf
) const
{
    if (addr.size() != pf.size())
    {
        FatalErrorInFunction
            << "addressing (" << addr.size()
            << ") and field (" << pf.size() << ") are different sizes" << endl
            << abort(FatalError);
    }

    forAll(addr, facei)
    {
        intf[addr[facei]] += pf[facei];//intf是diag
    }
}

Answer 1

当您在一个文件中定义成员模板时， 类模板。

一个常见的例子是模板类的复制赋值运算符。考虑代码

template <typename T>
class Foo {
    // Foo& operator= (const Foo&); // can only be assigned from the current specilization

    template <typename U>
    Foo& operator= (const Foo<U>&); // can be assigned from any other specilizations
};

// definition
template <typename T>
template <typename U>
Foo<T>& Foo<T>::operator= (const Foo<U>&) {
    ...
}

对于不同专业的副本作业，您必须这样做。第一个 template 属于类模板 Foo，第二个 template 属于复制赋值运算符，它是一个内部模板。

对于第二个问题，答案是否。一个模板参数列表只能引入一个模板。这里有两个模板。第二类模板 Foam::fvMatrix 与模板参数 T2 无关。 （对于那些对源代码感兴趣的人，请参阅 标头 和 实现）

旁白：本主题5.5.1 节中介绍了C++ 模板：完整指南。