Skip to content

Define term "derived interface" #680

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
RexJaeschke wants to merge 2 commits into
base: draft-v8
Choose a base branch
from
Draft

Define term "derived interface" #680

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
55f0639
Define term "derived interface"
RexJaeschke Dec 5, 2022
56bb42a
Merge branch 'draft-v8' into RexJaeschke-patch-4
RexJaeschke Nov 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions standard/interfaces.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

## 19.1 General

An interface defines a contract. A class or struct that implements an interface shall adhere to its contract. An interface may inherit from multiple base interfaces, and a class or struct may implement multiple interfaces.
An interface defines a contract. A class or struct that implements an interface shall adhere to its contract. A ***derived interface*** may inherit from multiple ***base interface***s, and a class or struct may implement multiple interfaces.

Interfaces may contain various kinds of members, as described in [§19.4](interfaces.md#194-interface-members). The interface itself may provide an implementation for some or all of the function members that it declares. Members for which the interface does not provide an implementation are abstract. Their implementations must be supplied by classes or structs that implement the interface, or derived interface that provide an overriding definition.

Expand Down Expand Up @@ -148,7 +148,7 @@ The explicit base interfaces of an interface shall be at least as accessible as

It is a compile-time error for an interface to directly or indirectly inherit from itself.

The ***base interface***s of an interface are the explicit base interfaces and their base interfaces. In other words, the set of base interfaces is the complete transitive closure of the explicit base interfaces, their explicit base interfaces, and so on. An interface inherits all members of its base interfaces.
The base interfaces of an interface are the explicit base interfaces and their base interfaces. In other words, the set of base interfaces is the complete transitive closure of the explicit base interfaces, their explicit base interfaces, and so on. An interface inherits all members of its base interfaces.

> *Example*: In the following code
>
Expand Down