C++雾中风景1:友元类与面向对象

简介: 因为后续准备入职的公司都希望能转C++,所以最近也是按部就班的开始进行C++的学习。然后这个系列的文章打算探究C++的语言特性,也比较一下不同语言(如Java,Scala,Python,Go)之间的设计哲学,同时也抛砖引玉的希望能有大拿们的指点。

因为后续准备入职的公司都希望能转C++,所以最近也是按部就班的开始进行C++的学习。然后这个系列的文章打算探究C++的语言特性,也比较一下不同语言(如Java,Scala,Python,Go)之间的设计哲学,同时也抛砖引玉的希望能有大拿们的指点。最近在学习过程之中接触了友元函数与友元类的概念,第一篇文章我们就聊聊友元的概念。

1.友元函数:

开篇先简单介绍一下友元这个概念吧。
在C++之中,类的友元函数是定义在类外部,但它有权访问类的所有私有(private)成员和保护(protected)成员。尽管友元函数的原型有在类的定义中出现过,但是友元函数并不是成员函数。友元可以是一个函数,该函数被称为友元函数;友元也可以是一个类,该类被称为友元类。

直接上个代码,我们看看友元函数与友元类具体是怎么样使用的:

#include <iostream>
using namespace std;

class Box {
public:
    Box(double l, double b, double h) {
        length = l;
        breadth = b;
        height = h;
    }
    friend class A;
    friend void boxPrintBox(Box &box);
private:
    double length;
    double breadth;
    double height;
};

//友元函数,友元函数并非成员函数
void boxPrintBox(Box &b) {
    cout << b.height << " " << b.length << " " << b.breadth << endl;
}

//友元类
class A {
public:
    void printBox(Box &b) {
        cout << b.height << " " << b.length << " " << b.breadth << endl;
    }
};


int main() {
    Box box(1,2,3);
    
    //友元函数,可以访问Box类的private的变量
    boxPrintBox(box);
    //友元类,同样可以访问Box类的private的变量
    A a;
    a.printBox(box);
        
    return 0;
}

上面的代码可以看出,友元函数和友元类都可以直接访问到对象的私有变量。接下来我们来分析一下友元函数的特点。

  • 1、为什么要引入友元函数:
    在实现类之间数据共享时,减少系统开销,提高效率。具体来说:为了使其他类的成员函数直接访问该类的私有变量。即:允许外面的类或函数去访问类的私有变量和保护变量,从而使两个类共享同一函数。能够提高效率,表达简单、清晰
  • 2、什么时候使用友元函数:
    1)运算符重载的某些场合需要使用友元。
    2)两个类要共享数据的时候
  • 3、友元方式的缺点:
    1)友元函数破环了封装机制,除非不得已的情况下才使用友元函数。

2.友元关系与面向对象:

接下来我们聊聊怎么从面向对象的角度去理解友元关系。(以下内容皆为个人理解,有不准确之处望能斧正

  • 1)友元函数
     友元函数是不从属与类的函数,除了能够访问类的私有变量之外,与其他实现在类外部的函数无异。从面向对象的角度看,函数是不应该独立实现于类之外的。显然独立与类之外的友元函数,从面向对象的角度来思考,是不优雅的解决方式。
     这和C++本身兼容C语法有关,如操作符<<的重载利用的就是友元函数。<<的函数重载如下,这个函数是独立与类之外实现的方法:
friend ostream &operator<<(ostream &output, const object &o)

显然,这个<<的函数方法更应该从属在ostream这个类之中,做为一个可重载的方法实现。如下定义

friend ostream &operator<<(const object &o) //作为ostream的类函数

如Java,Scala,Python都不支持独立与类存在定义的函数了。在面向对象的角度,后续的语言实现的更加纯粹了。所以如果本身代码风格趋近与面向对象的风格,就应该尽量理由友元类来实现需要的功能,而不是使用友元函数。
  有朋友私信我说:Python之中明明直接def就可以定义函数了,也不需要类啊,这是不是也不符合面向对象的逻辑思维?这里简单解释一下,Python之中的每个函数,都会被包装成一个function对象,所以Python之中是一切皆对象的,不会存在独立与类存在的函数。而如同Java与Scala之中的lambda表达式,也是包装为匿名类存在的。

  • 2)友元类
    通过友元类包装之中,友元类摇身一变,类之中所有的方法都成为友元函数了。看起来并不会破坏上文提到的面向对象的逻辑了,但是涉及到继承又存在一些不大不小的坑,我们一起来捋一捋:
      友元关系不能继承。基类的友元对派生类的成员没有特殊访问权限。如果基类被授予友元关系,则只有基类具有特殊访问权限,该基类的派生类不能访问授予友元关系的类。
      好复杂,我们直接上代码:
#include <iostream>
using namespace std;

class A {
private:
    int x;
friend class C;
};

class B:public A{
private:
    int y;
};

class C {
    void printA(A& a) {
        cout << a.x << endl;
    }
    void printB(B& b) {
        cout << b.x << endl; //C类依然可以利用友元关系访问从B类从A类继承来的私有变量
        //cout << b.y << endl; C类不可以访问B类的私有变量,友元关系不继承,该语句不合法。
    }
};

显然,类C与A的友元关系止步于继承处,类C没法访问类B新定义的私有变量。(这里留一个小问题给大家,如果类B覆盖了类A的私有变量x,类C之中的printB是否仍然可以通过编译呢?)

我们再看一段不同的代码:

#include <iostream>
using namespace std;

class A
{
    int x;
public:
    friend class B;
};
class B
{
public:
    void fun(A& a){ cout << a.x << endl;}
};

class C:public B
{
public:
    //void fun2(A& a){ cout <<a.a <<endl;}   //派生类新加的函数却不能访问A,此句会报错
};

void main()
{
    A a;
    C c;
    c.fun(a); //C是B的派生类,只能基类B的函数fun来访问A的对象
}

类C虽然继承了类B,但是也不在具有了和A的友元关系,只能"拼爹"。依赖从类B之中继承的友元函数来访问类A。(这里同样留一个小问题给大家,如果类B之中的fun函数是protected或private的,那上述代码还能够正常编译吗?)

在这里做一个简单的小结:友元关系在友元类之中没有继承性,只能依赖基类的友元关系。

3.非C++语言是怎么解决友元关系的:

  • Java
    JAVA修饰符类型(public,protected,private)

    • public的类、类属变量及方法,包内及包外的任何类均可以访问;
    • protected的类、类属变量及方法,包内的任何类,及包外的那些继承了此类的子类才能访问;
    • private的类、类属变量及方法,包内包外的任何类均不能访问;
    • 如果一个类、类属变量及方法不以这三种修饰符来修饰。那么包内的任何类都可以访问它,而包外的任何类都不能访问它(包括包外继承了此类的子类)。所以这种类型有时也称为friendly类型,现在知道这个名字的出处了吧,大家对同一个package之中要放哪些类有木有新的认识了呢?
  • Scala
    在Scala之中,private和protected可以指定额外的参数。可以使用private[AccessQualifier],AccessQualifier可以是this,也可以是其它的类名或包名。这样就可以这么理解:这个成员对所有类都是private,除了自己和AccessQualifier所表示范围内的类。这个概念也是可以递推的,也就是说,如果AccessQualifier是一个类,那么private成员对于AccessQualifier的AccessQualifier也是可见的。
    好优雅的方式啊,我爱Scala。

  • Python
    老子他喵的没有访问控制,全靠自觉。

  • Golang
    比较粗暴,就靠首字母的大小写区分访问控制,没法做到更加细粒度的控制了。不过看起来也不影响绝大多数场景的工程实现。所以这样化繁为简的设计哲学,是否也是一种优雅的解决方式呢?

目录
相关文章
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
602 12
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
311 16
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
327 0
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
501 0
|
安全 C++
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
1036 6
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!
|
编译器 C语言 C++
类和对象的简述(c++篇)
类和对象的简述(c++篇)