オーバーライドでもなく純枠仮想関数でもないこの行為の名称が知りたい。

Question

コメント部のvoid x(){}関数は何をしているのでしょうか？仮想関数でもなく純枠仮想関数でもないのでこれは何という行為なのでしょうか？基底の型で指すと基底が出るので気になりました。

質問ですが　

#include <iostream>


class base {
public:
	base() {
		std::cout << "base\n";
	}

	~base()
	{
		std::cout << "base Destructor\n";
	}

	virtual void f()//オーバーライド
	{
		std::cout << "base f()\n";
		//std::cout << a << std::endl;

	}


	void x() {///////////////////////
		std::cout << "x()\n";
	}

};

class derived : public base {
public:
	derived()
	{
		std::cout << "deirved\n";
	}

	void x() {///////////////////////
		std::cout << "d x()\n";
	}

	~derived()
	{
		std::cout << " derived Destructor\n";
	}

	virtual void f()
	{
		std::cout << "deiverd f()\n";
		//std::cout << a << std::endl;
		
		
	}
};

int main()
{
	derived* dd = new derived();
	base* BA = new derived();
	base* bb = new base();

	dd->x();
	BA->x();

	


	int c_ = getchar();
	return 0;
}

Answer 1

基底クラスと派生クラスからのメンバー関数の多重定義 (C++ のみ)

クラス A で f と名付けられたメンバー関数は、 戻りの型や引数に関係なく、A の基底クラスで、 他の f という名前のメンバーをすべて隠します。

隠蔽です。

Answer 2

関数の上書きということがで自己解決しました。

Comments

[episteme]

上書きだったら override だぞ。

[Zuishin]

回答しました。上書きであれば元のメンバ関数は消えますが、この場合はそうではありません。ただ名前が隠蔽されているだけで依然として存在し、キャストでコンテクストを戻せば使うことができます。

[episteme]

ﾃﾞｽﾖﾈｰ
コンテクスト次第で挙動の変わる感心しない実装です。
Java/Pythonだと強制的にoverrideされますし。

[退会済みユーザー]

ではこのやり方は隠蔽するっていうやり方でしょうか？

[episteme]

ですね。で、ふつーやらない。混乱の元だから。

[退会済みユーザー]

質問ですがこのサイトを見ると仮想関数にoverride識別子をつけられるらしいのですが
基底と派生どっちも書いてもエラーになりますどうすればいいんでしょうか？
https://cpprefjp.github.io/lang/cpp11/override_final.html

[episteme]

class base {
virtual void f();
};

class derived : public base {
void f() override;
}