あいまいなユーザー定義変換

Question

###前提・実現したいこと
下記のコードで「あいまいなユーザー定義変換」というコンパイルエラーが出ます。
もちろん、int から TestClass<int> へキャストするメソッドが二つあるために競合が起きるのは当然なのですが、この二つに優先順位をつけて、どちらか一方が呼び出されるようにはできないでしょうか？

###該当のソースコード

public static class Program
{
	public static void Main()
	{
		Console.WriteLine((TestClass<int>)1);
	}
}

class TestClass<T>
{
	public TestClass(int value) { }
	public static explicit operator TestClass<T>(int value)
	{
		return new TestClass<T>(value);
	}
	public static explicit operator TestClass<T>(T value)
	{
		return new TestClass<T>(1);
	}
}

###試したこと
(TestClass<double>)1 のようにすれば、競合は起きませんが、優先順位をつける方法があれば知りたく思います。
どちらか、あるいは両方を implicit にしても意味がありませんでした。

###補足情報(言語/FW/ツール等のバージョンなど)
Visual C# 2013

###追記
2016/6/23
リフレクションを使えばインスタンス化自体はできますが、手軽にキャストでインスタンス化したく思います。

Answer 1

確かwhere句で型ごとに条件分岐できるので,それで実装できないでしょうか。
また,それができなければ,typeofで型ごとに条件分岐ができるので,TestClass<T>(T value)メソッドに型ごとの条件分岐を入れるといいのではないでしょうか。

追記　ジェネリックパラメータを二つ使うと,メインのデータ構造の型と引数の型の不整合を防げます。
また,そのクラスを継承することで,型のデフォルト値を設定できます。

class TestClass<T>:TestClass<T,int>
	{
	 
	}

	class TestClass<T1,T2>
	{
		public TestClass(int value) { }

		public static explicit operator TestClass<T1,T2> (T2 value)
		{
			if (typeof(T2) == typeof(int)) {
				return new TestClass<T1,T2> (value);
			} else if (typeof(T1) == typeof(T2)) {
				return new TestClass<T1,T2> (1);
			} else {
				return new TestClass<T1,T2>(1);
			}
		}
	}

ただ,ozwkさんもおっしゃっている通り,必要な機能に対して設計が良くないかもしれないので,参考までにお願いします。

Comments

[ozwk]

型制約はキャスト演算子に付けられませんし、
typeof云々は
var x = (TestClass<Hoge>)1; // 1がHogeにキャストできないのでエラー
になります。

[Zuishin]

回答ありがとうございます。
型ごとに条件分岐はできないんじゃないでしょうか？
他に方法がなければコンストラクタ内で typeof で分岐するのが手っ取り早いかもしれませんね。

tkow さん、1 は Hoge にはキャストできませんが、TestClass<Hoge> にキャストすることは可能ですよ。

ただ、なぜキャストメソッドが二つ欲しいかというと、速度の問題なのです。速度が欲しい時には T を int にし、精度が欲しい時には decimal にしようと思っているのですが、内部分岐をするためにはコンストラクタを decimal にしなければなりません。
そうすると、結局内部でも decimal を扱わなければならなくなり、また型変換も多くなって思うように速度が出ないのです。

[ozwk]

> 1 は Hoge にはキャストできませんが、TestClass<Hoge> にキャストすることは可能ですよ。

TestClass<T>(T value)だけを用意して、typeofで頑張ろうとすると
(TestClass<Hoge>)1は、
TestClass<Hoge>.TestClass<Hoge>(Hoge value)を適用しようとして、
1を暗黙的にHogeに型変換しようとするのでエラーになる。

という意味です。

[Zuishin]

失礼しました。おっしゃる通りです。

[退会済みユーザー]

なるほど思っていたより制約おおいですね。
どういうデータ構造や演算結果を求めてるかわからなかったので使えるかどうかわかりませんが,ジェネリックパラメータ２つにしても大丈夫なら型チェックできたので,コード載せておきます。
ただし,記述量が多くなるため,可読性が低下することと,速度面が向上するかどうかと,はわかりらないです。

[Zuishin]

ありがとうございます。
「キャストで簡単に」というところがポイントで、要するに分数や複素数、その他新しい形の「数」を計算式の中で int や double などとシームレスに相互変換する基盤を研究していました。
コンパイラや電卓を作るうえでの基礎となるものですので、できればすっきりとした形にまとめたいのです。

[Zuishin]

新しい回答拝見しました。
目からうろこが落ちる思いです。そんな書き方がるとは想像もしていませんでした。
一つ新しいアイデアをいただいたので、これを研究してみようと思います。

Answer 2

コンストラクタで妥協しちゃいました
キャストで頑張れませんでした。

public class UnitTest1
{
    [TestMethod]
    public void TestMethod1()
    {
        var x = new TestClass<int>(1);      // int
        var y = new TestClass<double>(1);   // int
        var z = new TestClass<double>(1.0); // T
    }
}

class TestClass<T>
{
    public TestClass(int value) { Console.WriteLine("int"); }
    public TestClass(T value) { Console.WriteLine("T"); }
}

Comments

[Zuishin]

回答ありがとうございます。やっぱりキャストは難しいのでしょうか。
なぜコンストラクタだとできるのにという疑問が残るんですが。
もう少し勉強します。

[ozwk]

その言語で書きにくいことは
そもそも(その言語的に)設計がおかしいと思うようにしたほうがいいかもしれませんね

[Zuishin]

なるほどそうかもしれません。
設計の見直しも含めて考えているところですが、簡単な方法をどなたかご存知かと思ってお聞きしました。

[Zuishin]

お時間とっていただいてありがとうございました。
いただいたアイデアは今後の糧にします。