type-safety

0熱

1答えて

タイプunsafety：FooからBarへのチェックされていないキャスト。 JPAのもの

私はopenJPA（ちょっと古いバージョン1.2）を使用していて、私がquery.getResultList()をキャストするたびに警告を受け取ります。私はその特定の警告を取り除くことができますが、私は次の例のようにリストを返す必要があるとき、私は同じことを行うことができないので、私は前の行に@SuppressWarnings("unchecked")を使用します。 // @SuppressWar

1熱

2答えて

VB6はコンパイル時にオブジェクト型の対応をチェックしないのはなぜですか？

私はまだVisual Basic 6を扱わなければなりません。私はオブジェクトタイプの対応が実行時にのみ適用されることを知りました。例えば、this questionを参照してください。私はこれを見つけるのにかなりショックを受けましたが、私は常にオブジェクトのタイプセーフチェックに頼っていました。これはアーキテクチャ上の理由があるかどうか誰かが知っていますか（少なくとも複雑な問題になります）

9熱

1答えて

最新のC++でタイプセーフな方法で列挙から要素をランダムに選択

タイプセーフな方法で列挙から要素をランダムに選択する方法はありますか？私が見つけることができる最もよい方法は、列挙子の最後の要素としてターミネーター値を導入することです。その結果、いくつの値があるか分かり、適切な範囲でランダムな整数を生成します列挙型にキャストしかし、ターミネーター値は何も表していないので、無効なenum値があります。これは型セーフではありません。最新のC++標準でそれを行うより

1熱

1答えて

C++プリミティブ型の安全性

Cプリミティブ型の型安全性を保証するためにクラスラッパーを実装することによって計算上のオーバーヘッドはありますか？そして、そうでない場合、そのラッパーがSTLにないのはなぜですか？ #include <iostream> template< typename T > class Safe { template<typename K> friend std::ostrea

2熱

2答えて

のC＃で型安全なツリーの実装（型保証されたノード）

C＃で型保護されたツリーの実装を実装するために/ tringを探しています。インターフェイスを使用せずにタイプセーフなツリーを実装するにはどうすればいいですか（キャストを使わずにツリー機能を全面的に再実装する必要があります）？私はツリーを共通の基底クラスとして使用する考えがありますが、型の安全はなくなりました。私の現在のアプローチは、使用法ジェネリックスです。しかし、私はベースタイプに戻ってい

2熱

1答えて

オーバーロードされた関数の型の安全性、TypeScript

以下のコードは失敗します。 TypeScriptは戻り値の型がstringだと誤って思っており、実際にはnumberのときにcharAtメソッドを呼び出すことができます。 TypeScriptがバグを検出するようにコードを改善する方法はありますか？ function fn(s: number): number function fn(n: string): string function fn

1熱

1答えて

任意のT型の汎用クラスを保持できる変数型に根本的な欠陥がありますか？

ジェネリッククラスMyClass<T>を作成するたびに、MyClass<>というインターフェイスが自動的に生成され、汎用のパラメータまたは戻り値を使用しないすべてのメソッドとプロパティMyClass<T>があるとします。これは、別のTタイプの汎用オブジェクトを処理できるようにするために、単なるインタフェースを作成することから私を救うでしょう。このアイデアに根本的な問題があるのは、それが言語の一部

5熱

2答えて

左の空のKotlinクラスリテラルはまだサポートされていませんか？

私はそうのような式ならば型が持つ別の型に適合しているかどうかを確認しようとしています：これは、空の左手側とエラークラスリテラルはまだサポートされていない私に与え if (String::class is Any::class) 。誰もがそのエラーを詳しく説明したり、このチェックをどのようにしなければならないか教えてください。 edit（説明）：左のクラスが右のクラスと一致するか、それともそのサ

5熱

1答えて

Kotlinの型安全なビルダーをScalaで動作させるには？

KotlinはAwesomenesとは、あなたが自動補完でも正しく動作する、ヘッド内部の体のように、無効な場所にタグを置くことができないということである。この html { head { title("The title") body {} // compile error } body {} // fine } のようなDSL年代を作成する