代码之家 › 专栏 › 技术社区 › Mark Ruzon

当涉及多个模板类型时,是否可以缩小类和函数之间的友元关系?

friend templates c++

Mark Ruzon · 技术社区 · 16 年前

假设我将一个图像类表示为:

template <typename Pixel> class Image { ... };

我需要自己的交换功能来防止额外复制图像,所以我需要让它成为图像的朋友。如果我在图像里写:

template <typename T> friend void swap(Image<T>&, Image<T>&);

我得到了我想要的,但它使所有交换函数成为所有图像类的朋友。所以我可以把朋友关系缩小如下:

template <typename Pixel> class Image;
template <typename T> void swap(Image<T>&, Image<T>&);

template <typename Pixel> class Image {
   ...
   friend void swap<>(Image&, Image&);
};

如上所述 C++ FAQ-lite 35.16 .

现在假设我还有一个卷积函数,可以取浮点或积分核:

template <typename Pixel, typename KernelValue>
Image<Pixel> convolve(const Image<Pixel>&, const Kernel<KernelValue>&);

卷积需要访问图像的原始内存,因此它也必须是朋友。不过,我想 部分狭窄 这种友谊使卷积成为所有内核值的朋友,但只有特定的像素类型,比如:

template <typename KernelValue> friend Image<Pixel> 
    convolve(const Image<Pixel>&, const Kernel<KernelValue>&);

在图像定义中。编译器根本不喜欢这个(或其他变体),主要是因为它与原始函数声明不匹配,所以无法访问私有指针。有没有可能在这里得到我想要的,或者我应该接受“更友好”的版本?

2 回复 | 直到 16 年前

Yuyo 16 年前

我看到这种情况的唯一方法是在image类中定义函数,如下所示:

#include <iostream>
using std::cout;

template <typename Pixel>
struct image
{
    template <typename KernelValue>
    friend image<Pixel> convolve(image<Pixel> const&, image<KernelValue> const&)
    {
            cout << "foo\n";
            return image<Pixel>();
    }
};

int main()
{
    image<int> i;
    image<float> i2;

    convolve(i, i2);
}

user21714 16 年前

据我所知,您不能具有部分专用的模板化函数。

你可以做一个 卷积器 结构,您可以部分专用化,然后创建一个包装器来进行卷积。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

4 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

4 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

4 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

4 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

4 月前

Die4Toast · 递归调用成员箭头运算符->

4 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

4 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

4 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

4 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

4 月前