powershell で クラス を変数に格納するときに どの型を指定したらいいのか分からない

Question

前提・実現したいこと

最近変数にクラスを格納することが増えてきたのですが
気持ちの問題ですが
後で見やすいように明示的に型を指定したいです。
Objectにしてしまうとあまり意味がないので
それ以外だと
どの型を指定したらいいでしょうか?

試したこと

単純にGetType()で調べればいいと思ったのですが
帰ってきた型だと型が見つかりません。とエラーになります。

<#
    全ての結果で System.RuntimeType  が帰ってくる
#>
$test = [int]
Write-host $($test.gettype().fullname)

$test = [String]
Write-host $($test.gettype().fullname)

Write-host $([int].gettype().fullname)

Write-host $([String].gettype().fullname)
class test
{
}
Write-host $([test].gettype().fullname)



<#
    System.RuntimeType の 型は 見つからない
#>
Write-host $([System.RuntimeType].gettype().fullname)

<#
    当然できない
#>
[System.RuntimeType]$test2 = [test]

補足情報（FW/ツールのバージョンなど）

Win10
PowerShell V5

Comments

[kunai]

どの型って・・・そりゃ格納したいクラスじゃないんですか？
実際にやりたい事のソースコードを提示頂いた方が、何がしたいのかわかりやすいです。

[ozwk]

こういうことでなく?

$x = 1
Write-host $($x.gettype().fullname)
//=>System.Int32

[kamikazelight]

例えばですが
https://sites.google.com/view/kmkzyozora/Home/Program/PowerShell/ReuseScript/MultiThread_ps1
上記のようなクラスを返すスクリプトを書いたとき
$MLT = &".\MultiThread.ps1" として受け取る時に
$MLTの型を明示したいです。

[kunai]

[MultiThread]$MTL = &".\MultiThread.ps1"
ということ？

[kamikazelight]

試してみましたが出来ませんね。
[MultiThread]の定義が使う側ではされていからだと思うのですが

追記
違いました
[int]$int = [int] もできないですね
[int] は int型ではないので
混乱していました。

追記
変数に格納したいのはインスタンスではありません
クラス定義 そのものです。

[kamikazelight]

すみません。
質問文の不備以外は
以降 回答欄にお願い致します。

Answer 1

[int] は RuntimeType 型です。これは型を表すクラスの型ですが、Public ではなくシステム内部で Internal として宣言されている型なので、PowerShell など外部から使うことができません。かわりにその基本型である Type 型を使ってください。

参考 : What's the difference between System.Type and System.RuntimeType in C#?
ソース : System.Runtime.Type

[int]$i = 1
[Type]$t = [int]
[Type]$t2 = $i.GetType()

test クラスのインスタンスは test 型です。test 型の型は Type 型(RuntimeType 型)です。

class test {}
[test]$test = [test]::new()
[Type]$typeOfTest = [test]
[Type]$typeOfTest2 = $test.GetType()

Comments

[kamikazelight]

今回も有難うございました。

[kamikazelight]

もしも自力で [Type] という答えにたどり着こうと思ったら
PowerShellの機能だけではやはりたどり着けないのでしょうか?

[Zuishin]

型を入れる型は Type というのを知っていれば解決は早いと思いますが、RuntimeType 型にアクセスできないことを不審に思い、それを重点的に調べることでも解決は可能です。

PowerShell は .NET を使っているので、その知識があるかないかが解決に影響を及ぼすことはそれほど珍しくないのではないでしょうか。

Get-Help で得られるヘルプには載っていなかったように記憶していますし、ヘルプがあまり充実していないのが残念ですね。.NET の問題は .NET のドキュメントを読めというスタンスなのでしょう。

[kamikazelight]

.NET は今まで利用するものだけしか見ていなかったのですが
一度全体を見ておいた方がいい気がしてきました。
時間を作ってみてみます
またよろしくお願いいたします。

[imihito]

参考程度の話ですが…
PowerShellの機能だけで頑張る場合は
[int].GetType().BaseType.BaseType ～と継承元の型を辿っていって、
IsPublicがTrueなものを探すのも手かもしれません

[kamikazelight]

なるほど
この方法で行くと今回の場合はTypeの手前にある[System.Reflection.TypeInfo]で
大丈夫そうですね。
いまさらかもしれないですが [int]$Int = "5" のように左辺で型が指定されていた場合
右辺が左辺の型にキャストされる、っと思い込んでいたのですが
もしかして 左辺で指定された型が右辺の型のBaseTypeを辿った先にあるいずれかの型で 尚且つ、現在の型のメンバーに指定された型が一つ以上ある場合キャストはされない　感じでしょうか?

[Zuishin]

確かに TypeInfo でも良さそうですが、違和感がありますね。
TypeInfo はリフレクションに使うもので、型を表すのは Type を使うのが通例です。

[int]$Int = "5" の場合、int 型として宣言された変数 $Int に文字列型である "5" が代入されているので型変換が起こっています。ある型のオブジェクトを別の型として扱うことをキャストと言いますが、型変換によるキャストはむしろ例外で、型を宣言するときに「この型をこの型にキャストする時にはこのようにしてください」とわざわざコンバーターを定義するか、あるいは PowerShell がキャストによって文字列を数値に自動的に変換する機能を提供しているように、特別な機能が必要です。

ほとんどの場合、キャストには型変換でなくポリモーフィズムが使われます。つまり、派生型を基本型にキャストできます。この機能は .NET が提供しているもので、特別に定義しなくてもすべてのクラスで使えるものです。

Type クラスの BaseType プロパティで取得できるのは、その Type クラスが表す型の基本型なのでキャスト可能です。
たとえば [int].BaseType は System.ValueType なので int 型である 1 は [System.ValueType]1 のように ValueType にキャストできます。
しかし [System.Action]1 は失敗します。Action 型は int の基本型ではないからです。これを成功させるには、PowerShell に新たな機能を実装するか、Action 型もしくは int 型に相互変換のためのメソッドを実装する必要があります。

同様に Type → TypeInfo → RuntimeType と派生しているので、RuntimeType 型のオブジェクトは TypeInfo や Type にキャストでき、TypeInfo 型のオブジェクトは Type 型にキャストできます。
その逆はできません。

この時には型変換は起こりません。つまりキャストされた時に古いオブジェクトが破棄されて新しいオブジェクトが作られるのではなく、古いオブジェクトがそのまま自分の基本型としてふるまいます。これをポリモーフィズムと呼びます。

[kamikazelight]

キャスト と 型変換 は違うのですね
知りませんでした。

intからValueTypeへのキャストは型変換ということで良いのでしょうか？
そして型変換の時は古いオブジェクトが破棄されて新しいオブジェクトが作られる
という事で合っていますか？

[Zuishin]

それは型変換ではなくポリモーフィズムです。オブジェクトは自分の基本型として振る舞うことができます。

ValueType は int の基本型です。

[Zuishin]

例えば string を int にキャストする場合、string は int 型のメソッドやプロパティを持っていないので int 型として振る舞う能力がありません。
その場合には string が破棄されて新しくそれをもとにした int 型が作られます。

しかし int 型は ValueType から派生したものでその全てのメソッドとプロパティを持っており、ValueType として振る舞うことができます。
そのため、インスタンスを作り直す必要がなく、そのまま使われます。

[kamikazelight]

記憶違いだったのですが intをValueTypeにキャストしたら型がValueTypeに変わった気がしたので
型変換かなと　勘違いしてしまいました。
大体は理解できたと思います。
丁寧な説明をありがとうございました。