subtype

0熱

2答えて

は、私は新しいこのPyTypeObjectのtp_methods属性に新しいメソッドのおかげで登録することにより、一つのベースタイプのメソッドをオーバーライドし、このガイドPython C API Defining New Types 以下でC APIを使用して1つの既存のPythonのタイプからサブタイプを作成しました。これは問題なく動作しています。しかし、コードはまた、私はそれを行う方法に

1熱

1答えて

Oracle - サブタイプへの参照をキャストする方法

私は、Oracle DBを使用していると私はサブタイプを持つこの型があります：私は今、私はテーブルとを持っているタイプIもt_foo CREATE TABLE foo OF t_foo; INSERT INTO foo VALUES (t_foo1(1)); のサブタイプを格納することができt_fooのテーブルを持っている CREATE TYPE t_foo AS OBJECT (id

1熱

2答えて

例外コンパイラエラーを持つメソッドのオーバーライド

'a.eat（）'以下のコードは、コンパイルエラーを発生させます。コンパイルエラーは宣言またはキャッチする必要があります。 class Animal { public void eat() throws Exception {} } class Dog extends Animal { public void eat() {} public static void main(

-1熱

1答えて

std :: type_infoオブジェクトがC++の別のstd :: type_infoオブジェクトのサブタイプであるかどうか調べる

私はstd::type_info t1とstd::type_info t2の2つのポインタを持っています。 t1がt2のサブタイプであるかどうかを確認するにはどうすればよいですか？私は利用可能な他の情報がありません。

2熱

1答えて

サブタイプとCoq

subtypesをCoqに、そしてssreflectを使用して簡単に処理しようとしています。しかし、私はいつもサブタイプを書き直すときにいくつかの問題に遭遇します。例えば：それはそこに立ち往生している理由 Require Import Omega. From mathcomp Require Import ssreflect ssrfun ssrbool ssrnat eqtype. (*

1熱

1答えて

コック：私はトラブルシグマ型から第二の突起の種類を証明を有していて、その第二の突起にシグマ型から関数を定義（および強制する）

： Variable X:Type. Variable Phy: X -> Type. Definition e {x:X}: {x:X & Phy x} -> Phy x. intro. Fail exact (@projT2 _ _ X0). (*The term "projT2 X0" has type "Phy (projT1 X0)" while it is expected

1熱

1答えて

VHDL：std_logicの配列の使用とstd_logic_vectorのサブタイプの使用

私は一緒に属している（同じクロックでサンプリングされていますが）論理的に既存の部分のベクトル（つまりパラレルバスではありません）コードを変更する必要があります。ほとんどの意図や目的、配列とベクトルはかなり扱うことができるため subtype my_subtype is std_logic_vector(my_width - 1 downto 0); signal my_signal : my_s

2熱

1答えて

特定の文字のOracleデータベースPLSQLサブタイプ

私はこれだけの値を保持することができますPLSQLでサブタイプを作りたい：'♠', '♥', '♦', '♣'これは可能ですか？私のコードではsubtype suit_t is char(1)がありますが、このコードでは、このサブタイプの変数に他の文字を格納することができます。そして、ええ、私のユーザーはかなりばかだから、そうするように制限したいのです。