【C++言語入門】 第19回 修飾子-続き
constとnoexcept以外の 修飾子 か？
overrideやfinalとかのキーワードですわね
override
overrideについてお話ししますわね
override？
overrideは、メソッドをオーバーライドしていることを示す 修飾子 ですわ
overrideを付加しますわ
virtual 型 メソッド名(引数...) override { 処理 };
overrideを付加しますわ
overrideを付加するとどうなるのだ？
noexceptと異なるのだ
constやnoexceptと併用する場合には、const noexcept overrideの順番で記述しますわ
virtualが付加されていなければならないと云うことか...
overrideを付加してみましょう
#pragma once
#ifndef FIGURE_H
#define FIGURE_H
class Figure {
int border_width_;
unsigned int color_;
public:
Figure(int border_width, unsigned int color)
: border_width_(border_width), color_(color) {}
virtual ~Figure() {}
int BorderWidth() { return border_width_; }
void BorderWidth(int border_width) { border_width_ = border_width; }
unsigned int Color() { return color_; }
void Color(unsigned int color) { color_ = color; }
virtual double Area() const noexcept = 0;
};
#endif // FIGURE_H
#pragma once
#ifndef CIRCLE_H
#define CIRCLE_H
#include <iostream>
#include "figure.h"
const double kPI = 3.14159265358979323846;
/// @brief 円
class Circle: public Figure {
double diameter_; // 直径
public:
Circle(double diameter) : Figure(1, 0xFF000000), diameter_(diameter) {}
virtual ~Circle() {};
double Diameter() const { return diameter_; }
void Diameter(double diameter) { diameter_ = diameter; }
virtual double Area() const noexcept override;
};
#endif // CIRCLE_H
double Circle::Area() const noexcept {
double radius = Diameter() / 2.0;
double a = radius * radius * kPI;
return a;
}
#include <iostream>
#include "circle.h"
int main(int argc, char* argv[]) {
Circle c(10.0);
std::cout << "円の直径は" << c.Diameter() << "cmです。" << std::endl;
std::cout << "円の境界線の幅は" << c.BorderWidth() << "mmです。" << std::endl;
std::cout << "円の面積は" << c.Area() << "cm^2です。" << std::endl;
return 0;
}
FigureクラスのAreaメソッドは 純粋仮想関数 として宣言していますわ
constおよびnoexceptの後に= 0が付加されているのだ
CircleクラスでAreaメソッドをオーバーライドしていますわ
overrideが付加されているのだ
Areaメソッドの定義についてはoverrideを付加していないことに注意ですわ
overrideの目的
overrideを付加することで、何かメリットがあるのか？
overrideはnoexceptと同様に、メソッドの動作に影響を与える 修飾子 ではありませんわ
overrideを付加するのだ？
virtualが付加されていない場合には、コンパイラがエラー、もしくは警告を出力してくれますわ
FigureクラスのAreaメソッドをCircleクラスでAresメソッドとしてオーバーライド？してしまうとか...
overrideについては、積極的に使うようにしましょう
final
finalですわね
final？
finalは、派生クラスでメソッドをオーバーライドすることを禁止しますわ
finalを付加しますわ
virtual 型 メソッド名(引数...) final { 処理 };
finalを付加しますわ
finalを付加するとどうなるのだ？
overrideと同じなのだ
constやnoexceptと併用する場合には、const noexcept finalの順番で記述しますわ
overrideとfinalについては、どうなのだ？
finalを付加してみましょう
#pragma once
#ifndef CIRCLE_H
#define CIRCLE_H
#include <iostream>
#include "figure.h"
const double kPI = 3.14159265358979323846;
/// @brief 円
class Circle: public Figure {
double diameter_; // 直径
public:
Circle(double diameter) : Figure(1, 0xFF000000), diameter_(diameter) {}
virtual ~Circle() {};
double Diameter() const { return diameter_; }
void Diameter(double diameter) { diameter_ = diameter; }
virtual double Area() const noexcept override final;
};
#endif // CIRCLE_H
CircleクラスのAreaメソッドにfinalを付加してみました。
Circleクラスを継承しているクラスがありませんので、finalの効果はありませんわね
FigureクラスのAreaメソッドにfinalを付加してみますわ
#pragma once
#ifndef FIGURE_H
#define FIGURE_H
class Figure {
int border_width_;
unsigned int color_;
public:
Figure(int border_width, unsigned int color)
: border_width_(border_width), color_(color) {}
virtual ~Figure() {}
int BorderWidth() { return border_width_; }
void BorderWidth(int border_width) { border_width_ = border_width; }
unsigned int Color() { return color_; }
void Color(unsigned int color) { color_ = color; }
virtual double Area() const noexcept final { return 0.0; }
};
#endif // FIGURE_H
#pragma once
#ifndef CIRCLE_H
#define CIRCLE_H
#include <iostream>
#include "figure.h"
const double kPI = 3.14159265358979323846;
/// @brief 円
class Circle: public Figure {
double diameter_; // 直径
public:
Circle(double diameter) : Figure(1, 0xFF000000), diameter_(diameter) {}
~Circle() {};
double Diameter() const { return diameter_; }
void Diameter(double diameter) { diameter_ = diameter; }
virtual double Area() const noexcept override;
};
#endif // CIRCLE_H
finalを付加する意味がありませんので、0.0を返すメソッドに変更していますわ
finalでオーバーライドを禁止するのは意味不明なのだ
CircleクラスのAreaメソッドでオーバーライドした部分でエラーが発生していますわ
CircleクラスのAreaメソッドのfinalは消しているのだ
クラスにfinal
finalはメソッドだけではなく、クラスに対しても付加することが可能ですわ
finalを付加しますわ
class クラス名 final : public 基底クラス名 { クラス定義 };
finalを付加すると、クラスの継承自体が禁止されますわ
Figureクラスにfinalを付加してみましょう
#pragma once
#ifndef FIGURE_H
#define FIGURE_H
class Figure final {
int border_width_;
unsigned int color_;
public:
Figure(int border_width, unsigned int color)
: border_width_(border_width), color_(color) {}
virtual ~Figure() {}
int BorderWidth() { return border_width_; }
void BorderWidth(int border_width) { border_width_ = border_width; }
unsigned int Color() { return color_; }
void Color(unsigned int color) { color_ = color; }
virtual double Area() const noexcept { return 0.0; }
};
#endif // FIGURE_H
finalを付加し、Areaメソッドからfinalを削除していますわ
Circleクラスの継承部分がエラーとなっていますわ
finalの目的
finalを付加するメリットがあるのか？
finalはoverrideやnoexceptと同様に、メソッドの動作に影響を与える 修飾子 ではありませんわ
finalを付加するのだ？
finalは基本的にヘッダーファイルにのみ記述されますわ
finalを削除してしまえばオーバーライドできてしまいますわ
finalは、余程の明確な意図がある場合以外は、使用を控えるべきですわ
finalを付加されたクラスやメソッドは、作者が絶対に継承やオーバーライドして欲しくないと考えていることを理解すべきですわね
Discussion