C++ Concept 和Java 接口

Concept及接口

我会用Java写个case来解释什么是C++的Concept。Concept可以理解为接口,它是一种广义的接口。不同于Java的Interface,通俗地讲,Java的Interface匹配于C++的纯虚类,但Concept这种接口更广泛一些——任何符合该Concept要求的类型都属于该Concept.事实上,我认为Java也有能力实现Concept的.

我们姑且称Concept为广义的,Interface是狭义的,你会看到这么称呼是有道理的。

狭义的 Printer接口

C++版的Printer接口:

class Printer
{
public:
    virtual void print() = 0;
    virtual ~Printer() = 0;
};

Java版的Printer接口:

interface Printer{
    public void print();
}

这时一定有人跳出来说,不对,它们不一样。

是的,它们(C++纯虚类和Java interface)略有不同,但C++纯虚类和 Java abstract class也不一样。事实上:

  • C++纯虚类对应于Java interface
    • 你必须手动声明C++纯虚类的虚析构函数,否则在delete指向派生类的基类指针时不能够析构基类,事实上,纯虚类的析构函数也被声明为纯虚函数,如果你只派生一次,你忘记声明析构函数为虚函数也没关系,因为纯虚析构函数啥也不干——但这不是个Best Practice,因为谁也不敢保证纯虚类只派生一次而没有被多层继承;Java没有析构函数的概念。这点是不同的。
    • C++纯虚类有构造函数,而Java interface没有构造函数。
    • C++纯虚类可以有成员变量(不推荐),而Java interface不可以有。
  • C++虚类对应于Java抽象类
    • 如上(虚)析构函数的区别。
    • C++可以多重继承,Java抽象类只能被单继承。

上述思想可以说是面向对象语言的基础,无论C++、Java还是C#、python,只要是面向对象编程范式的语言,他们都有 运行时多态 这种功能。

为何分道扬镳?

事实上,C++并没有纯虚类这个概念,只有一个abstract class的概念,它包含纯虚类。在此 定义C++的纯虚类为只包含纯虚函数的类(除去默认生成的构造函数)

如你所见,在面向对象设计的时候,两种语言选择了不同的路。Java晚于C++出现,它吸取了C++的设计经验,抽象出一个类似纯虚类的概念即接口,用以描述一组类似的功能实现。Java是基于如下考虑才做这种设计的:

Java通过提出接口的概念、规定只许单继承,规避多重继承的复杂。多重继承的复杂是 C++主流思想不选择设计 类似Java标准库的这种 面向对象编程范式的库的重要原因。我们知道C++是个多范式语言,目前的主流是使用基于模板编程的范式设计标准库。

设想一情形:A、B、C是三个提供不同功能的纯虚类(接口),而类ab实现了A、B的功能,类bc实现了B、C的功能,现在有需求说要设计一个具有A、B、C功能的类,你可以:

  • 1、选择abc继承自ab、bc,重现实现B
  • 2、选择abc实现A、B、C接口

我不敢说哪一种是对错,无疑第二种方法更清晰明了,虽然要啰嗦一些。而如果你用的Java,你没有第一种方式可以选择。——当然,实际工作中你遇到的情形不可能这么傻,实际情况要复杂得多:ab和bc的B功能实现很可能不一样,而abc需要的B功能实现可能是ab或bc中的一种、或者完全是另一种B的实现,因此从软件工程的角度来说,你必须选择第二种实现。

广义的 Printer Concept

我们定义一种Printer Concept,所有具有如下要求的类型都属于该Concept:

  • 具有参数为空的 default constructor。
  • 具有一个参数为空的print成员函数(方法).

下面二者最重要的区别: C++ Concept把错误提前到了编译期,而Java版的Concept错误在运行期。

C++版Printer Concept:

C++的Concept是基于模板范式的 编译期多态 .

#include <iostream>
#include <cstdlib>


class ChinesePrinter
{
public:
    void print()
    {
        std::cout << "你好n";
    }
};

class EnglishPrinter
{
public:
    void print()
    {
        std::cout << "hellon";
    }
};

template <typename Printer>
class PrinterUser
{
public:
    void action ( Printer p )
    {
        p.print();
    }
    void action()
    {
        Printer p{};
        p.print();
    }
};


int main()
{
    {
        ChinesePrinter cp{};
        PrinterUser<ChinesePrinter> cpu{};
        cpu.action ();
    }
    {
        EnglishPrinter cp{};
        PrinterUser<EnglishPrinter> epu{};
        epu.action ();
    }
    system("pause");
}

Java版Printer Concept:

虽然我们可以通过实现InvocationHandler接口得到一个更通用的Concept,但无论如何这都是一个玩具。我们先不论这个Concept对于Java有什么意义,但无疑Concept的提出对于C++是十分重要的。

package org.go;

import java.lang.reflect.Method;

public class PrinterUser {
    Class Printer_ = null;
    public PrinterUser(Class Printer) {
        Printer_ = Printer;
    }

    public static void main(String[] args) {
        {
            PrinterUser cpu = new PrinterUser(ChinesePrinter.class);
            cpu.action();
        }
        {
            PrinterUser epu = new PrinterUser(EnglishPrinter.class);
            epu.action();
        }
    }

    public void action() {
        Concept c = new Concept("print");
        c.call(Printer_);
    }
}

class ChinesePrinter {
    public void print() {
        System.out.println("你好");
    }
}

class EnglishPrinter {
    public void print() {
        System.out.println("hello");
    }
}

class Concept {
    private String conceptName_;

    public Concept(String conceptName) {
        conceptName_ = conceptName;
    }

    public void call(Object printConcept) {
        try {
            Method printMethod = printConcept.getClass().getMethod(conceptName_, null);
            printMethod.invoke(printConcept, null);
        } catch (Exception e) {
            e.printStackTrace();
        }
    }

    public void call(Class clz) {
        try {
            Method printMethod = clz.getMethod(conceptName_, null);
            printMethod.invoke(clz.newInstance(), null);
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
}

狭义的 接口实现 与广义的Concept对比

假如我们还有这样一个接口:
C++:

class Screen
{
public:
    virtual void print() = 0;
    virtual ~Screen() = 0;
};

Java:

interface Screen{
    public void print();
}

无论是Java还是C++,上述的Screen和Printer接口(纯虚类) 都符合 我们提出的Printer Concept。Concept是更高的一层抽象。是的没有错:类型是一类数据结构的抽象,接口是类型的抽象,Concept是接口的抽象。由此可见,interface对Java有多重要,Concept对C++就有多重要——或者说,接口对于编程有多么重要,Concept对C++就有多重要。

内容来源于网络如有侵权请私信删除
你还没有登录,请先登录注册
  • 还没有人评论,欢迎说说您的想法!

相关课程

3747 0元 50元 限免