スキップしてメイン コンテンツに移動

[C#][黒魔術] implicit operator: あいまいなユーザー定義の変換を回避する方法

タイトルの通り黒魔術です(多分)、実行環境ごとの動作はどうなるかわかりません。

また、C#などの仕様変更で使い物にならなくなる可能性はあります。(Support extension methods everywhereの流れ次第では仕様変更が入るかもしれない)

implicit operatorとはなんぞや

C#では比較演算子などのオーバーロードができます。その中(?)にimplicit operatorやexplicit operatorがあります。こいつらは暗黙的なキャストと明示的なキャストをオーバーロードすることができます。

たとえばこんなコード↓があったとして

    public class A1
    {
        public static implicit operator B1(A1 a)
        {
            return new B1();
        }
    }
    
    public class B1
    {
    
    }

こんなコード↓は合法(コンパイル&実行可能)です

    B1 b1 = new A1();

explicit operatorなら明示的なキャストが必要でになります。

また、implicit/explicit operatorは変換元のクラス/構造体以外に変換先のクラス/構造体にも定義することができて、以下のコードも合法です。

    public class A2
    {
    
    }

    public class B2
    {
        public static implicit operator B2(A2 a)
        {
            return new B2();
        }
    }
    B2 b2 = new A2();

現時点(C# 7.3)ではimplicit/explicit operatorが定義できる場所は2箇所ということになります。

implicit operator 2箇所で定義したらどうなる?

当然生まれる疑問です。

以下のコードに関しては合法です。

    public class A3
    {
        public static implicit operator B3(A3 a)
        {
            System.Console.WriteLine("A3 implicit operator");
            return new B3();
        }
    }
    
    public class B3
    {
        public static implicit operator B3(A3 a)
        {
            System.Console.WriteLine("B3 implicit operator");
            return new B3();
        }
    }

ただし、以下のコードに関してはコンパイルエラー

    // CS0457 'A3' から 'B3' へ変換するときの、あいまいなユーザー定義の変換 'A3.implicit operator B3(A3)' および 'B3.implicit operator B3(A3)' です
    B3 b3 = new A3();

まぁ、当たり前っちゃ当たり前です。どちらのimplicit operatorを実行すればいいかわからないのだから。

黒魔術

ちょっと必要性があって式ツリーでキャストするコードを描いていた時に気づいてしまいました。

        // implicit operatorはexplicit castもできる
        // (TSource value) => (TResult)value;
        public static Func<TSource, TResult> CreateConvertDelegate<TSource, TResult>()
        {
            ParameterExpression value = Expression.Parameter(typeof(TSource), "value");
            UnaryExpression convert = Expression.Convert(value, typeof(TResult));
            return Expression.Lambda<Func<TSource, TResult>>(convert, value).Compile();
        }

こんな感じでラムダを動的生成してやり、以下のようなコードを書いてしまうと:

    Func<A3, B3> cast = CreateConvertDelegate<A3, B3>();
    System.Console.WriteLine(cast(new A3()).GetType().Name);

コンパイル時のチェックはもちろんできないのでコンパイルできてしまいます。
また、実行してやると:

A3 implicit operator
B3

が出力されるので、見事「あいまいなユーザー定義の変換」を回避できてしまいました。explicit operatorの場合も同じ挙動です。

かなり、興味深い内容ですね。
implicit operatorは内部的にはop_Implicitという名のstatic special name メソッドになります。
リフレクションで取ってくるときはMethodInfo.IsSpecialNameがtrueになるメソッドです。
変換元のop_Implicitメソッドを優先的に叩いたという感じでしょうか?

何はともあれ、こんな非合法すれっすれのimplicit/explicit operatorがあるコードが実際に飛んでくることはないとおもうので、式ツリーでキャストするときはimplicit/explicit operatorの数なんか気にせずやればいいと思います。

重要なことですが最後に、implicit operatorは容量用法を守って適切に使いましょう。多用は厳禁です。

コメント

このブログの人気の投稿

Stellaris 2.0.1 植民スパムプレイ

さっそくですが、友達との3日がかりのマルチプレイ終わりました。

銀河設定は中サイズ(600)、リング2、中盤の危機75年早く、終盤の危機100年早く、技術・伝統コスト0.5倍、難易度普通って感じでした。

そして、自分のプレイングは機械帝国植民スパム、友達は内向き牧歌でした。
最終的な国力としては機械帝国植民スパムのほうが強く、序盤から中盤は内向き牧歌のほうが強かったです。

機械帝国植民スパム はい、前回も言いましたが2.0から植民スパムゲーです。2.0.2からは前哨地維持費がかかるようになり更なる植民スパムゲーにもなりそうです。
植民スパムするからには、まぁロボットか機械帝国って感じなんですが、今回はゲーム進行が速い設定なので機械製造速度アップにガン振り帝国にしました。生産はエネルギー重視で、直轄地に鉱物惑星・研究惑星があるような感じにしました。
それでも、機械帝国は序盤の成長が遅く、鉱物を大量に消費するので、周りの帝国との不可侵条約はかかせません。直轄地6惑星(母星・エネルギー、エネルギー、研究*3、鉱物)の発展が終われば、今度はセクターの開発です。 まぁ、セクターの開発なんか物資さえ送り込めば勝手にやってくれるのでいいですが、エネルギー重視の生産なので鉱物の面倒は見てやらないとダメです。
帝国所有惑星が20ぐらいになれば、まぁ中銀河(サイズ600)なら敵なしですかね。あとは軍拡するだけです。
中盤の危機と終盤の危機 前述の通り危機はかなり早く発生するようにしたのですが、なんと中盤の危機がいっこうに発生しませんでした。発生したのは終盤の危機に立ち向かってるとき…おい()
終盤の危機は機械帝国プレイだったのでもちろんのようにコンティンジェンシー、中盤の危機は機械の反乱でした。
中盤の危機に関しては機械帝国プレイなので自分はどうでもよかったのですが、終盤の危機はがんばらないとまずかったです。コンティンジェンシーなので機械の生産-40%補正がつくので、スペシャルプロジェクトで解除(自分の研究力500ぐらいでは50か月ぐらいでした)しない限り国力が持ちません。
コンティンジェンシーは艦隊戦力が300k+100k*2の集団が4つほど湧いて100k艦隊は時間とともに増え続けるので急がないといけませんが、解除さえすればあまり余る国力で殴り続けるだけでしたね。終盤の危機の間に…

Stellaris ver2.0 Apocalypse プレイ感想

タイトルの通り大型アプデ後での友人とのマルチプレイでのプレイ感想です。

変更内容に関してはこちらのサイトで日本語訳された内容が公開されています(本当に助かりました)
Simulationian.com - 「Stellaris」開発日記#105――2.0「チェリイ」パッチノート

使用した帝国について 細かい設定は覚えていませんが(確認するのもめんどくさい)、有機生命体で狂信権威・平和主義で国是にアップデート内容の生まれた生命(Life-Seeded)を選択しています。 狂信権威について アップデートにより帝国の領域を増やすには星系ごとに影響力(1回限りに支払い)を使い前哨地を建てていく必要がありました。そこで狂信権威を選択したのですが、プレイスタイルが悪いのか、よく奴隷が不満を抱えストライキ?を起こしてしまいました。これに関しては防衛設備を地上に建て防衛軍を増やすことで対処できますが、タイルを無駄に消費している感じがすごいあります。 影響力が毎月4増えるのは領域を増やすのに好都合でしたが、Life-Seededとの相性が微妙でした(後述)。 Life-Seededについて 自分の種族がガイア型惑星にしか住めなくなるが、母星がガイア型25でスタートします。使用感想としては初期ブーストはいいかな?って感じです。ただ、アップデート後の環境ではプレイスタイルを頑張らなければ弱いかなと。その理由としては、まずアップデート後は研究コスト補正にPOP数が関係なくなり領域星系数が関係あるようになりました。つまり領域が大きければ大きいほどコストが高くなるということ。星系の資源はプレイヤーではどうしようもならない固定資源のようなものですから、それに頼って領域を大きくし過ぎると研究コストがすごいことになってしまいます。植民地を確保して賄おうにもガイア型にしか住めないのでかなり増やしにくいです。 ガイア型にしか住めないというのは、有機生命体であってロボットなら他のタイプの惑星に植民できるというのであれば、Life-Seededはロボットプレイをするしかないのかもしれないですが、これに関しては未検証です。
プレイスタイルについて 今回自分がとったプレイスタイルは要塞でガン守りキメるガチ芋戦略です。アップデートで要塞関連が変わり結構使えるものになったらしいので。 防衛プラットフォームを上限まで…

if(flag == true)はありなのか?なしなのか?

最近バズってるようなので便乗
ちなみに元ネタはこちらだとおもいます→qiita - Javaではif (flag == true)というコードを書いてはいけない

※真偽値としてのネーミングとしてflagはナシだろ~~wという話はナシでお願いします
※以下flag変数は真偽値とします

結論から言うと純粋な真偽値の場合はif(flag == true)、if(flag == false)はナシです

まず、最初に前提を整理します
if文は真偽値(true or false)で判定しなければならないJavaではbooleanKotlinではBooleanC#ではbool 話の簡素化のために整えておかないといけないこともあります JavaではBooleanのことは考えない(理由は省略)(ボクシング次第では考えていいかも)KotlinではBoolean?のことは考えないnullableな場合はtrue or false or nullなのでC#ではbool?のことは考えないnullableな場合はtrue or false or nullなので
前提を整理し終わったので、if(flag == true)はアリなのかナシなのか考えていきましょう。 おそらくif(flag == true)論争では2つのパターン(==演算子で比較するかどうか)に派閥分けされていますが、ここでは3つのパターンに分けます
1つ目のパターン:==演算子で比較する// true比較の場合 if(flag == true) // false比較の場合 if(flag == false) はい、もっともナシなパターンです(理由は後述)。

ナシと言われる理由は前提を振り返ればわかりますがif文の中では最終的に真偽値であればよいのですがflagはそもそも真偽値です。わざわざtrueと==比較して真偽値にする必要はありません。わざわざ==比較することは理論上はパフォーマンスが落ちます。

このパターンがなくならない理由は可読性がまぁまぁいいことです。
冗長であろうがパフォーマンスが理論上悪かろうが可読性があれば正義です(そういう考えもできる)。

自分も昔はこのパターンな書き方を多用していましたが後述の理由によって今はしません(少なくとも意識してはしてないはず)。

2つ目のパターン:否定演算子!を使う// true比較の…