引数時に使う変数を変える仕組み

Question

unrealengineのコードにて不思議なものがあったので確認させていただきたいです

class MYTESTPROJECT_API ATestActor : public AActor
{
...
	UPROPERTY(EditAnywhere)
	TSubclassOf<AActor> ref;

void ATestActor::BeginPlay()
{
	static int32 spawnnum = 10000;
	for (int32 i = 0; i < spawnnum; i++)
	{
		AActor* SpawnedActor = GetWorld()->SpawnActor<AActor>(ref);
	}
}

	template< class T >
	T* SpawnActor( UClass* Class, const FActorSpawnParameters& SpawnParameters = FActorSpawnParameters() )
	{
		return CastChecked<T>(SpawnActor(Class, NULL, NULL, SpawnParameters),ECastCheckedType::NullAllowed);
	}

SpawnActorですがUClassを引数に取るにも関わらず、TSubclassOfを代入してもエラーをはきません
TSubclassOfクラス内にUClass変数を保持しておりますが関数に渡されたときにTSubclassOfではなくUClassと認識されている理由を知りたいです。

operatorで可能なのかはたまたC++にそういう機能はなくてエンジン独自のシステムなのか

Answer 1

私は UnrealEngine については知識がないことはあらかじめお断りしておきます。 以下は少なくとも C++ の機能で可能である (実際にそう実装されているかはわからない) という説明です。

実引数と仮引数の型が食い違う場合には暗黙に型変換されることがあります。 オーバーロード解決のルールと絡み合うので正確なルールは大変に複雑なのですが、基本型の特別扱いを除けば変換に使われうるのは

• 変換コンストラクタ
• 変換演算子 (cast operator)
• 継承関係

のいずれかです。

ポインタに変換コンストラクタをユーザ定義することは出来ないのでありえませんし、継承関係を持つこともありえません。 故に変換演算子のオーバーロードで実現しているものと思われます。

簡素化した例で示すと以下のような要領です。

struct foo {
    // 変換演算子のオーバーロード
    operator int*(void) {
        return 0;
    }
};

void bar(int*) {}

int main(void) {
    foo x; // x の型は foo
    bar(x); // bar は int* を受け取るはずだが foo を渡しても良い。 暗黙に変換される
}

Comments

[apa]

なるほどポインタもオペレーターの機能があるんですね
再度調べたところ下記の関数が見つかりましたのでおそらくこれが呼ばれているのだと推測できました
ありがとうございます！
/** Dereference back into a UClass*, does runtime type checking. */
[[nodiscard]] FORCEINLINE UClass* operator*() const
{
if (!Class || !Class->IsChildOf(T::StaticClass()))
{
return nullptr;
}
return Class;
}

[apa]

foo xがポインタじゃないのに
barに渡したとき暗黙型変換されて型が違うというエラーが出るわけでもなく
ポインタの部分だけ最初に確認されてオペレーター処理に入るのはなんとも不思議ですね

[齊藤敦志]

operator* の定義は * 演算子のオーバーロードであって型変換演算子ではないです。