【Console Application】基本文法 31【学習記】

2023年1月25日 02:47

制御構造if,switch,tryとか特殊な演算三項演算子,ビット,論理,算術関数とかそういう手合の話🤤

Q.
`*` で宣言して arrayOf も `*` にすれば…？
A.
クラス宣言側が `*` だと arrayOf 側がエラーに🙄

→コンストラクタで手抜きオーバーロード用にジェネリクスを使おうとするのは無理
→その様な場合は諦めてコンストラクタでオーバーロードか Any で宣言して is で分岐
→型安全度を高めるにはコンストラクタのオーバーロードが良いかも(異論は認める

#学習記 #Kotlin
#Any #ジェネリクス #オーバーロード

ジェネリクスと Any

ファイルとデータベースで IntelliJ から離れる前に、どうにも気になった事が有るので試しておこうと思う😑

それはジェネリクスと Any の関係🤔
ファイルとデータベースではコンストラクタにジェネリクスを仕込んで初期化の変数型の対応を柔軟にしようと企んだわけだけど、ジェネリクスは配列ArrayやListの型を確定するとかの使い方が殆どで「初期化用引数は最終的に特定の型に変換されるのでジェネリクスで受け取りたい」というオーバーロードで手抜きをしたいという用途に使えないと判って断念したのよね😞
しかし移植を進める内に言語への理解が深まって lateinit 等を指定してあればコンストラクタが完全終了までに初期化できれば御咎とがめ無しと成るのでセカンダリコンストラクタを並べてオーバーロードによる初期化用引数の型柔軟化が擬似的にできる事が判ってきたわけよ🤤

class A<T>(arg:T)
{
	var value:String = arg.toString()
}

一番の問題はコンストラクタにジェネリクスを設定すると arrayOf() 等で配列化して使う時にどうしても(↑のクラスを例にすると) arrayOf<A<String>>() の様な固定した指定が必要となり配列使用が判っている場合に(例で言う String に)インスタンス生成時の引数の型が固定されてしまうという問題を抱えている事🙄
こいつに要素を足す場合、 `arg += A(arg:String)` で固定されてしまうって話😞

【Console Application】ファイルとデータベース 180【学習記】
Record
https://note.com/sayka/n/nfb69b289271d#29871ef3-b11c-42a8-abb9-2a3b33ae19d2

で、これ `arrayOf<A<*>>()` とか `class A(arg:Any)` でコンストラクタがジェネリクスとか、そういう解決ができないかなって思ってそれを実験しておきたいっていう話🤤

ここまでは Record でやったのとほぼ等価😑
本来は引数の型をどこかに記録しておかないと戻せないんだけど Record では RecordElement で DB の表の型を先に定義してあるのでそれを元に parse するという仕掛けなんだけど Int って定義しておいてデータ側が文字列だと例外出ちゃうのよねこれ🙄(まぁ今回は無視
この TestGenerics クラスは引数を文字列…というか toString() に掛けて全部文字列化して value に保持する、というクラス😑
なので arrayOf<TestGenerics>() ってできるのが一番いいんだけど…できなかった、というのが↑の学習記😞

で、今なら `<*>` じゃないの？って考えるわけなんだけど Any に変換される筈ではてどうなるか？🤔