C++中类模板(class template)友元(friend) 的全部六种形式

类模板(class template)的友元(friend)和普通类的友元, 有很多区别,

主要原因是类模板包含模板参数(template parameter), 就会导致友元和类模板有很多匹配形式;

主要包含六种形式:

1. 类 - 友元(friend): "模板参数是当前类"的类模板;

2. 类 - 友元: "模板参数任意"的模板类;

3. 模板类 - 友元: "模板参数相同"的模板类;

4. 模板类 - 友元: "模板参数任意"的模板类

5. 模板类 - 友元: 类;

6. 模板类 - 友元: 当前模板参数(类); (C++11)

具体使用参见代码及注释,

代码如下:

/*
 * cppprimer.cpp
 *
 *  Created on: 2013.11.24
 *      Author: Caroline
 */

/*eclipse cdt, gcc 4.8.1*/

#include <iostream>
#include <string>  

template <typename T> class Pal; //pal朋友  

class C {
    friend class Pal<C>; //"以类C实例化"的Pal类, 为C的友元
    template <typename T> friend class Pal2; //Pal2类的所有实例化, 都为C的友元
private:
    void print() { std::cout << "class C" << std::endl; }
};  

template <typename T>
class C2 {
    friend class Pal<T>; //"与C2类相同实例化"的Pal类, 为C2的友元
    //Pal2类的所有实例化, 都为C2的友元, 注意模板参数(X)不能相同
    template <typename X> friend class Pal2;
    friend class Pal3; //普通友元
    friend T; //C++11 模板类型参数友元
private:
    void print() { std::cout << "class C2" << std::endl; }
};  

template <typename T>
class Pal {
    C myC;
    C2<T> myC2; //必须为T
    //C2<double> myC2; //实例化不同, 无法使用
public:
    void printC() {
        std::cout << "this is class Pal : ";
        myC.print();
    }
    void printC2() {
        std::cout << "this is class Pal : ";
        myC2.print();
    }
};  

template <typename T>
class Pal2 {
    C myC;
    C2<double> myC2;
public:
    void printC() {
        std::cout << "this is class Pal2 : ";
        myC.print();
    }
    void printC2() {
        std::cout << "this is class Pal2 : ";
        myC2.print();
    }
};  

class Pal3 {
    C2<double> myC2;
public:
    void printC2() {
        std::cout << "this is class Pal3 : ";
        myC2.print();
    }
};  

class Pal4 {
    C2<Pal4> myC2; //注意Pal4是C2类的模板参数
public:
    void printC2() {
        std::cout << "this is class Pal4 : ";
        myC2.print();
    }
};  

int main (void) {  

    std::cout << "Hello Mystra!" << std::endl;  

    Pal<C> pc; //Pal类必须实例化为C
    pc.printC(); //可以使用
    //Pal<int> pci;
    //pci.print(); //报错, 访问了私有成员  

    Pal2<int> pi2; //Pal2类可以随意实例化
    pi2.printC();  

    Pal<int> pi; //有相同的示例化, 在类声明C2<T>
    pi.printC2();  

    pi2.printC2(); //注意, Pal2类被实例化为<int>, 内部C2类被实例化为<double>;  

    Pal3 p3;
    p3.printC2();  

    Pal4 p4;
    p4.printC2();  

    return 0;
}

输出:

Hello Mystra!
this is class Pal : class C
this is class Pal2 : class C
this is class Pal : class C2
this is class Pal2 : class C2
this is class Pal3 : class C2
this is class Pal4 : class C2

作者:csdn博客 Spike_King

更多精彩内容:http://www.bianceng.cnhttp://www.bianceng.cn/Programming/cplus/

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索class
, 友元
, 参数
, 模板
, template
, 类模板
, 模板类
, 模板c++实例化求助
, friend友元函数
, friend
, 形式
类参数
friend友元函数、friend友元、友元模板类、模板友元函数、c 类模板友元,以便于您获取更多的相关知识。

时间: 2024-12-28 18:58:18

C++中类模板(class template)友元(friend) 的全部六种形式的相关文章

C++中类模板(class template) 详解

类模板(class template)需要添加模板参数(template parameter), 即最前面添加"template <template T>"; 把所有需要使用模板类型的位置, 使用"T"代替; 使用时需要填加"Class<T>",指定模板参数; 在定义类的成员函数(member function)时, 也需要添加类的模板参数"template <template T>", 并

C++模板中类模板的问题

问题描述 C++模板中类模板的问题 Myvector vf(5 Fraction(12));当执行到此代码时,应该调用Myvector的模板来生成Fraction类型的模板但他却调用了Fraction的构造函数,然后就无穷递归了,这是怎么回事,求解决方案template class Myvector { T arry[1000]; int realsize;public: Myvector(int T ); Myvector(); T & operator=( T & );};templa

模板类的友元

非模板友元 声明一个常规友元 template <class T> class HasFriend { public: friend void counts(); } 上边的声明使counts()函数成为模板所有实例化的友元 counts()函数不是通过对象调用的(它是友元,不是成员函数),也没有对象参数,那么它如何访问HasFriend对象的呢 有很多种可能性.它可以访问全局对象;可以使用全局指针访问非全局对象;可以创建自己的对象;可以访问独立对象的模板类 的静态数据成员. 如果要为友元函数

C++中函数模板(function template) 详解

C++的模板(template)是泛型编程(generic programming)的基础; 面向对象编程 是 运行(run time)时 知道类型(type); 泛型编程 是编译(compilation) 知道类型; 函数模板(function template)包含模板参数列表(template parameter list); 每个参数类型之前必须包含关键字typename或class, 尽量使用typename, 表达意思更加明确; 非类型模板参数(Nontype Template Pa

C++中函数模板(function template)返回值

函数模板的返回值也可以定义为模板参数(template parameter), 但是由于无法推导(deduce), 需要显式(explicit)指定; 由于显式指定的顺序是从左至右, 返回值参数尽量放在左面,其余函数参数可以通过传入实参(argument)进行推导; 也可以提供由其他参数推导出的返回值类型, 需要使用拖尾返回类型(trailing return type); 使用decltype()函数推导, 即"编译时定义的类型", 注意使用拖尾返回类型时, 前置需要"au

C++中函数模板(function template) 的 推进(forward) 问题

函数模板在调用函数的时候, 由于实参(argument)转换形参(parameter)的时候, 会发生改变, 导致无法保留原实参的信息, 即推进(forward)问题; 主要包括: 引用和右值;引用, 即因为模板参数非引用, 导致复制操作, 无法提供引用类型;右值, 即因为模板参数只能转换为左值, 无法提供右值; 解决方法: 引用: 使用右值参数(T&& t), 可以保证传递引用不发生改变; 右值:使用右值参数, 再使用forward()函数(#include<utility>

C++中函数模板(function template) 的 重载(overload) 详解

函数模板(function template)重载, 即实例化特定的模板, 确定T的类型, 选择匹配度最高的一个; 需要注意传递的具体类型, 如传递的是"&s", 则表示"string* t = &s", 即实际匹配的类型为"string* t"; 当非函数模板和函数模板匹配度相同时, 优先选择非函数模板; 调用模板时, 一定要注意顺序, 或者提前声明, 以保证可以找到函数模板, 进行实例化; 具体参见代码注释, 代码如下: /*

C++中类模板的部分定制和定制成员

类模板的部分定制, 是指使用类模板的类型(T), 但是不同种类, 如左值, 右值等; 类模板的部分定制, 和类模板定制相同, 都需要类名相同,参数相同; 定制的形参(parameter)比原始模板(original template)更加匹配; 类模板有部分定制, 但函数模板没有, 函数模板只能是重载; 类模板的定制成员, 类模板可以单独定制成员类型, 使不同的实例化类, 使用定制的成员; 代码(部分定制): /* * CppPrimer.cpp * * Created on: 2013.12.

Xcode中的变量模板(variable template)的用法

大熊猫猪·侯佩原创或翻译作品.欢迎转载,转载请注明出处. 如果觉得写的不好请多提意见,如果觉得不错请多多支持点赞.谢谢! hopy ;) 你可能经常会写一些小的代码片段,里面自然少不了一些关键的变量.你会把这些代码片段放到网上,比如github里,作为示例. 但是有个问题,就是上述代码片段中的变量会根据不同系统,不同用户发生变化.在你这里有效的,可能在别人那就会无效. 举个不恰当的例子,比如其中有一个变量是你服务器的秘钥ID: NSString *keyID = @"12345678"