我有一个DirectShow应用程序，它可以捕获Web cam图像并在屏幕上渲染。对于每个网络摄像头捕获过滤器，我可以看到有许多输出引脚和相应的媒体类型。请帮助说明如何根据媒体类型选择特定Pin，以及如何将其设置为捕获筛选器的输出Pin 我能够列举这些管脚，并查看它们的媒体类型，但对于如何对DirectShow说嘿，这就是我希望您用作输出管脚的管脚，我仍然一无所知 管脚通常会自行决定介质类型，但有时您可以将所需的介质类型设置为图形的所有者/构建者。这就是捕获设备的情况 有关如何为此使用IAMSt

假设使用多个内置和用户定义的Z3排序，例如Int、Bool、S1、S2等，有没有一种方法可以编写一个通用的排序包装和-展开函数，这种函数可以从排序a转换到排序B，然后再转换回来？比如说 (declare-const a S1) (declare-const b S2) (declare-const c Int) (WRAP[S1] b) ; Expression is of sort S1 (WRAP[S1] c) ; Expression is of sort S1 (WRAP[Int] (

关于格式和信息的另一个问题： 格式用于输出（用于显示我和表中的其他用户数据），所以，我不关心它，如果我想以编程方式从表中读取数据，是吗 但什么是informat 我有如下代码的数据步骤： data Out; attrib __fromDate __ToDate informat=ddmmyy16. format=worddatx32. __name __country length = $10 ; set InputTab; /

如果我有两个模块A和B，并在模块A中定义一个类型 type t1 = THIS of int | THAT of char 然后要在模块B中进行模式匹配或构造这种类型的对象，我必须使用 A.THIS(3) 这就是它迫使我去做的，即使在我有了这样的陈述之后 type t2 = A.t1 在模块的签名和实现中。如果我不想太冗长，也不想在模块B中使用“A.”，那该怎么办？我可以创建一个全新的类型和一个函数来将一个转换为另一个，但这看起来很笨拙。有什么我遗漏的吗？我不是模块专家，但你可以做到这一点

我注意到TypeScript支持使用以下类型： {}（在规范中称为空对象类型） 对象 据我所知，它们似乎都是等价的和可互换的。它们之间有什么区别？我一直理解为对象指的是JavaScript对象类型。通常用作{}或有时用作新对象 我相信它们是等价的。在TypeScript的上下文中，没有实际的区别，但有语义上的区别。对象的所有成员都隐式存在于所有对象上 {}表示没有自己成员的东西。{}仍将拥有对象的所有成员。因此，它们在打字脚本中是可互换的 // Extend ALL objects inte

一个简单的问题。那里也有一个类似的问题，但我没有得到我想要的确切答案 我只是检查fortran 90中实际数据类型的限制（使用ifort编译器），原因是我的实际代码可能会达到该限制。为了测试，我只需给出一个参数mval1（参见代码）并乘以2。在ifort手册中，它说它可以接受的最大值是10E38，而我的值比这个小得多。但在打印时，它会在末尾随机抽取数字（输出在底部给出）。有人能帮我度过这段时间吗 PROGRAM TEST IMPLICIT NONE REAL(KIND=8), PARA

我是Elm的初学者，作为前Haskell程序员，我想知道是否有一种类似于Haskell的方法来输入解释器/REPL： :i number 所以我知道这在Elm不起作用，但有没有与Haskell等效的东西： :i Num 我想获得有关类型类及其所有实例的详细信息 此外，在Haskell文档中，有关于基本Haskell类的类型层次结构的可用信息： Elm也有类似的服务吗 提前感谢。Elm没有类型类，因此它不适合像GHCi的：i那样显示关于它们的信息。Elm的内置类型（如字符串、数字和布尔）的范

我想知道是否可以根据函数中的条件返回不同的类型： 如果删除“| | bool”和“if/else”语句，此代码将起作用 提前谢谢 fn main() { let vector: Vec<i32> = vec![0, 2, 5, 8, 9]; let targetL i32 = 3; let found_item = linear_search(vector, target); println!("{}", &found_item); } fn

我希望Julia中的标准show和display方法被重写为仅显示/displayz.x，但是重写display（x:：MyCompositeType）不能做到这一点，我找不到MIME类型的介绍。使用模块的示例： type MyCompositeType x::Float64 y::Int end z = MyCompositeType(1.0,2) 那你就可以了 module m import Base.show export MyCompositeType type MyC

如何创建具有以下参数类型的数组 type :: test x :: Int32 y :: Float32 end （对于Julia 0.5，使用不可变而不是结构）测试[]。另外，语法是类型测试——请参阅手册。谢谢。我试图读取一个具有数组结构的二进制文件（键入Julia？）。现在，我可以使用read语法逐个读取结构的参数。如何定义数组的类型并一起读取整个文件？如果您想问一个单独的问题，请创建另一个问题。您还应该签出（）。但似乎对茱莉亚博士的背景知识进行一点解读确实会有很

我有元组类型foo=string，string 如何创建foo元组的类型数组 如果使用元组数组或元组列表，有什么区别 如何访问元组值数组？ JS模拟： const foo1 = [1, 2]; const foo2 = [3, 4]; const arrayOfFoo =[foo1, foo2]; console.log(arrayOfFoo[0][0]) // 1 console.log(arrayOfFoo[1][1]) // 4 更新：我发现了优秀的gitbook 这是正确的吗？还有更

我试图将元组分解为变量，然后错误地提到其中一种类型，从而导致错误： fn main() { let tup = (500, 6.4, 1); let (x: bool, y: f32, z: i16) = tup; println!("{}, {}, {}", x, y, z); } 我的想法是编译器将引发错误，因为x被指定为bool，但与500匹配。令人惊讶的是，这是编译器抱怨的最后一句话，说在这个范围内找不到x、y和z： 我试过另一种方法： fn

773/5000 我正在尝试对视频的不同片段应用缩放和色度效果，然后将这些片段再次合并为一个片段 为了提高时间和性能，我开发了一个程序，在一个命令中创建所有过滤器 计划很简单，我有一个绿色屏幕和背景*.jpg录制的视频*.mov 我首先从JPG图像中准备了一些具有模糊效果的背景 然后我应用chromakey使视频的绿色部分透明 我在几个时间段中修剪应用chromakey的视频，并对每个时间段应用缩放和裁剪，然后将其覆盖到步骤1中准备的一个背景上 连接所有已处理的段 当我执行生成的命令时，它给出了

对于任何包含布尔和枚举作为基本类型的语言，我应该使用哪种类型的变量来存储某个对象是左还是右 我最初的直觉是使用枚举，因为它更具描述性——这对枚举来说无疑是一个巨大的优势 但我突然想到，如果一个值必须是Left或Right，那么布尔值将更安全，内存效率也更高-这两个点都有利于使用布尔值 还有一个问题是，布尔值有一个自然方向，但对于像LeftRight这样的值，没有自然映射，这意味着您需要使用像这样的值isLeft——这是反对使用布尔值的一点 对于这样的值，是否有一个惯例或最佳实践，这些值都是二进制

Telosys代码生成器似乎默认使用Java类型 例如，如果模型中的字段类型为“int”，则生成的语言类型为“Integer”（如果“@PrimitiveType”或“@NotNull”，则为“int”） 是否可以根据目标语言更改类型 在我的例子中，我想生成代码C。所以预期的类型是“int”、“uint”、“Int32”实际上，默认的目标语言是Java，但您可以更改它 您只需在每个需要类型转换的模板文件（“.vm”文件）中定义目标语言 为此，请使用指令$env.setLanguage（'Lang

如何将自定义类型初始化为null 我想这样做： TestVar : T_MyType := null; 与： type T_MyType is record field1 : float field2 : Boolean end record 但我有一个错误： 在myfile.ads上定义的预期类型T_MyType 默认情况下，Ada类型是值类型 也就是说，TestVar是对象本身，其内容为field1，field2。您可以在源代码中定义它的地方想象它。它与使用类似于Floa

类型T是“第一类”类型意味着什么？通常意味着T的实例可以是 从函数返回 传递到函数中 在运行时构造 C中的Eg函数不是第一类类型，因为它们不能在运行时构造，但它们是JavaScript中的 在某些特殊情况下，例如定理证明，这意味着类型本身就是第一类对象。更多的现代文学使用“物化类型”来表示这一点，以避免这种歧义。我认为一级类型与一级类型大致相同。它基本上是提供一类对象属性的类型。使用“T”听起来像是有人在谈论Java中泛型的状态（它们被删除了，这意味着虽然可以在运行时检查某个对象是否是一个列

我有一个项目，通过SMO创建一个从DataTable到SQL表的表 列的数据类型当前未从System.Type转换为SMO.DataType。 我可以通过案例陈述来做到这一点，但我希望有一个更干净的解决方案。可能是涉及TypeDescriptor.GetConverter（targetDataType）的内容 这在System.types和SQL.DataTypes之间工作，但我无法将其转换为SMO.DataTypes 有什么建议或提示吗 TIA我最终使用Case语句来处理转换。工作正常。我最终

我正在将一个旧的32位COM服务器移植到64位体系结构 许多函数将缓冲区地址和偏移量作为参数，如_int3264和_int3264指针。问题在于，由于接口是IDispatch继承的，并且自动化接口不支持_int3264，因此在x64中，此类型不会自动生成为_int64 对于需要地址的函数，我将把u int3264*替换为void* 偏移参数被设置为_int3264和LONG（在automation+x64中均为32位）。我不能使用hyper（映射为_int64），因为它将在32位系统中中断 我应

我只定义了一个矩阵模块，如下所示： module Matrix = struct type element type t = element array array let make (nr: int) (nc: int) (init: element) : t = let result = Array.make nr (Array.make nc init) in for i = 0 to nr - 1 do result.

我正在通过chan X发送对请求的回复，其中X是一个结构。请求是一个搜索操作，因此理想情况下，我希望能够返回X，或者报告找不到它 这将是Haskell中的可能是X或OCaml中的X选项的任务。在围棋中有什么像样的方法吗？我没有返回指针（因为我返回的原始对象稍后可能会被修改），所以我不能只返回nil 编辑：现在我把它变成一个chan接口{}，或者发送一个X或者nil，但是这很难看，并且破坏了类型安全。如果你使用接口{}你现在实际上是在返回一个指针。为什么不将接口{}更改为*X，并确保返回对象的副本

F#既有类型化的代码引用，也有非类型化的代码引用，我想知道在哪些用例中，一个会选择一个而不是另一个 区别仅仅是方便吗？非类型和类型化报价在所有情况下都可以相互转换，或者是类型化报价。G一个子集的那些可能与非类型化的报价 是否有一些示例只适用于键入的引用，而不适用于非键入的引用？或者反过来说？一般来说，我建议尽可能使用键入的引用。与往常一样，这些类型将允许您静态地强制执行一些正确性条件，否则可能会导致运行时失败。考虑： let one = <@@ "one" @@> // except

鉴于： 如果我打电话： type MyInterface interface{ MyMethod() int } var im MyInterface ... 声明变量t时，变量的实际类型是什么？为了说明这个问题：如果我想写作 switch t := im.(type) { case:.... default:... } 如何声明t 例如，在Delphi中，我们有以下结构： var t //What type should I use?! 我相信我正在Go

代码如下： interface Foo { c : string } function foo() { var c = this.c return c } foo.call({ c : "quux" }) VisualStudio说this:any，所以this.c的自动完成不起作用。如何添加签名来告诉this实现了Foo，因此IDE具有自动完成this的类型信息。内部Foo？由于函数Foo可以与任何this上下文一起使用，您需要使用类型断言： var c = (&

我不记得我是否在什么地方读过这篇文章，但我很容易假设⊥ 是一个初始对象。但是，必须有可能根据这个问题的唯一性来构造证明⊥-以利姆箭 像这样： false-elim : forall {A : Set} -> False -> A false-elim () false-iso : forall {A B : Set} -> (g : A -> False) -> (f : A -> B) ->

我有一个编译问题，期望的类型有时是{}，有时是Game，这取决于我如何更改函数stepGame的注释 data State = Start | Play | End type Game = { state:State, player1:Snake, player2:Snake, player3:Snake, player4:Snake } defaultGame : Game defaultGame = -- stuff (returns Game type wi

当我使用datatype:函数并尝试检查页码时，每一个递增页码的代码字符串： datatype: function (postdata) { alert(postdata.page); //1 alert(postdata.page); //2 var t = 1; alert(postdata.page); //3

我想为要在给定模块中重用的构造函数定义一个类型别名，而不必通过定义它们的模块路径为它们添加前缀。我还希望通过执行打开/包含，避免“污染”后一个模块，因为这样会导入太多的定义 下面是一个我想要的示例（未编译）： 在B中执行包含A或打开A都可以在这里工作（红色和蓝色都有效），但两者都会为B添加定义，“污染”它 open将造成最小的损坏，但仍然允许出错，例如，如果A定义了一个符号，由于open而意外地在B中使用，则我不会有编译错误 有没有办法避免这种“污染”，同时避免我在模块B中键入a.Red/a.B

我有一个来自外部库mapboxgl.Style的类型，我想基于该类型创建新的Immutable.Map类型 因此，该类型将覆盖Immutable.Map中原始类型的内部属性 下面是一些代码： const plainStyle: mapboxgl.Style = <...>; const style: ??? = Immutable.Map(plainStyle); style.get('name'): String style.get('sources'): Immutable.M

我一直在寻找这个问题的可能答案，但似乎找不到。也许我问错了。Power BI提供了两种方法来定义数据中字段的数据类型 第一种方法是在powerqueryeditor（M）中。电源查询会在连接到源时自动插入一个步骤来检测数据类型 第二种方法是在Power BI报表设计UI中设置/更改数据模型上的数据类型 我想知道在powerqueryeditor（m）中定义数据类型或从报表设计UI中定义数据类型是否更有效（就计算机资源而言）。我注意到，如果我从报表设计UI设置数据类型（并删除Power Query

我在F#中有以下并集和辅助函数： 由于编译器在（dgts:数字列表）参数上给出以下警告： 未定义类型“Digit” 但是，对于函数体中的数字d[|对于…中的数字d]：此表达式上的模式匹配不完整。例如，值“Alpha（|）”可能表示模式未涵盖的情况.所以它在主体中识别为ParsedItem，而不是在声明中 如何让编译器识别出Digit确实是一个类型，而不必在ParsedItem之外声明它，或者我必须声明Digit和其他类型为它们自己的类型，然后将它们添加到ParsedItem，如下所示 type

是否可以在数据类型中释放TypeVar以获得UnionAll 总而言之，我想做的是： # this doesnt work f(::Type{V{T}}, ::Type{S}) where {T,S,V<:AbstractVector} = V{S} f(Vector{Int}, Char) # Vector{Char} #这不起作用 f（：：Type{V{T}}，：：Type{S}）其中{T，S，V您可以尝试以下方法： function f(::Type{V}, ::Type{S

我正在用OCaml编写一个Lisp解释器。这描述了我的类型系统： type atom=Bool of Bool |整数的整数 |浮子的浮子 |一串一串 |字符串符号 类型sexpr=Nil |原子中的原子 |一对sexpr*sexpr 我想将函数作为一级值包含在这里。为此，我计划了一个定义，可以添加到我的atom类型中，类似于： | sexpr的功能->sexpr 然而，由于ocamlopt今天过得不好，它开始抱怨： make ocamlopt str.cmxa-o dromedar typ

假设我有一个整数文档 当我尝试将该值设置为3.5时，它仍然是整数： db.users.update({}, {$set:{balance:3.5}}) 如何将其更改为float/decimal？请检查update（）语法。update（）的第一个参数始终是查询 不是UPDATE子句。我刚刚做了一些c#示例： 但若您试图在更新后自动地将测试类理想化，它将抛出错误，因为SomeIntegerField的类型将是Float64。所以对于这种情况，我建议编写单元测试 希望这对你有所帮助。你说得对。那

我是JAXB的初学者，在使用xjc生成Java类时遇到了一些恼人的问题。我有一个XSD，如下所示： <xs:element name="item" type="itemType"/> ... <xs:complexType name="itemType"> <xs:attribute name="id" type="xs:string" use="required"> ... </xs:complexType>

我在写一个F#函数，它把一个数分解成素因子 let factors primes i = let mutable j = i for p in primes do while (j>1) && (j%p=0) do j <- j/p printfn "prime: %i" p 让因子素数i= 设可变j=i 对于素数do中的p 而（j>1）和（j%p=0）则 你将不得不做一些类似的事情

我在DotNetNuke的帮助下创建了一个站点。在我将新模块添加到项目中后，我单击“构建解决方案”，我得到一个错误“无法加载类型XYZ”。 我的模块定义 <%@ Control Language="C#" AutoEventWireup="true" CodeBehind="DemoRequestControl.ascx.cs" Inherits="ABC.Controls.DemoRequest.DemoRequestControl" %> 可能缺少某些引用，或者是

我刚刚接受了电话采访，他们问了我这个问题： “一个整数的大小是多少，计算公式是什么？” 我不知道（好吧，我有点笨），但我只是好奇地想找到答案。我猜是在第二垒。。但我不知道 有人有什么想法吗？问题不清楚，您是在为不同的编程语言寻找整数位大小吗？或者你想知道int的最大值 顺便说一句，在java中，int是32位，max是2^31-1=2147483647，我想他问的是整数的范围。 在Java中，大小是4字节，所以应该在-2^31到2^31-1之间？ 因为他问了这个等式。这个问题似乎是为了让你问他们

这里是我的代码的开始。在代码的最底层，我将有详细的错误点 #include <iostream> #include <iomanip> #include <cmath> using namespace std; int main() { //declare variables int usedWater = 0; int prevReading = 0; int currReading = 0; const double WATER_RATE =

如何为现有类型指定新名称 假设我想给一个列表命名指令，然后可以说指令=新指令（）您不能定义别名。对于您的情况，您可以使用定义指令： import'package:quiver/collection.dart'； 类指令扩展了DelegatingList{ 最终名单代表=[]； } 现在可以通过一个空的mixin mixin ToAlias{} class Stuff<T> { T value; Stuff(this.value); } class StuffInt = S

我对pascal中的record+过程没有什么问题。我已将记录声明为类型，并希望此记录键作为过程中的参数 以下是记录结构和声明： person = record name:string[20]; age:integer; end; var x:person 我有这个过程，我不知道在参数中插入什么： procedure out(param); begin writeln(param); end; 以及程序主体中的调用过程： x.name := 'Obama'; x.age :=

下面是一个我用来解释我的问题的最小代码示例。以下代码分为两个文件并编译： DataStruct.fs module MyMod type XXX = { a: int } with static member GetNew = { a = -1 } type YYY = { a: float } with static member GetNew = { a = -

我在Elm项目中创建了一个表模块 每个列都有一个getter函数，该函数定义了它们如何从为行建模的记录中检索数据 因此，一行可能看起来像： { name = "bananas" , price = 5 } 这些列可以如下所示： [ { title = "Item Name" , get = .name } , { title = "Price in pennies" , get = .price >> (*) 100 >> toString } ] t

下面是显示此问题的最低演示代码： interface A fun <T1, T2> test() where T2 : T1, T2 : A {} 接口A 有趣的测试（），其中T2:T1，T2:A{} 当我试图编译它时，编译器会抱怨： 错误：（81，25）Kotlin:如果类型参数由另一个类型参数限定，则它不能有任何其他界限 我阅读了，但只发现以下限制： 一个类型参数不能将自身指定为自己的绑定，而多个类型参数不能以循环方式将彼此指定为绑定 这并不能解释我遇到的限制 我浏览了Ko

我的问题很简单。我继承了一些旧的Fortran代码，我正在浏览它以获得对它的总体感觉。我注意到它使用的是结构而不是类型。两者之间有实际区别吗？除了更符合标准之外，使用TYPE还有其他好处吗 这个问题更像哲学问题。我（想我）知道重写代码在测试等方面意味着什么，所以我不想寻找那种“真的值得吗”的答案。更多的是技术性的 我读了一些关于结构和类型的文章，第一篇是在互联网站上，第二篇是在“现代Fortran解释”，但除了“这是Fortran 90之前的做法，这是我们今天的做法”之外，我没有找到更多的信息“

我正试图在Julia中使用它的最佳参数化和类型。 我有一个构造函数，它的参数有一个T数组和一个Interval{T，Bound{T}，Bound{T}数组，其中T是实数类型，Bound是一个抽象类型，OpenBound是从中派生出空绑定的 但是，当我尝试调用此构造函数时，出现以下错误： ERROR: MethodError: no method matching HyperParameters(::Array{Float64,1}, ::Array{Interval{Flo

我正在学习F#，并使用类型系统进行领域建模 在我非常简单的例子中，假设我们想要管理一家酒店的客户。客户可以处于各种状态： 新客户 联系人信息已定义 客户接受了GPDR 客户已登记入住 所有这些状态都表示为不同的类型。我们还定义，只要客户尚未登记，但已提供联系信息和/或已接受GPDR，客户就处于“待定”状态： type CustomerId = CustomerId of Guid type ContactInformation = ContactInformation of string typ

如果F#类型在以前的守卫中被缩小，它会缩小类型吗 type FirstOption=bool选项 键入SecondOption=bool选项 让福先来= 首当其冲 |无->错误 |second.IsSome时的某些值-> //第二个仍然是选择 sencond//x这不会飞。 |某些值->错误 在这些情况下，我一直在使用Optopn.map/map2/map3，但我想知道我是否做错了什么 对于TypeScript，它们具有基于控制流的分析：我认为F#没有基于控制流的分析作为TypeScript，

我需要检查vara:Dynamic={}是否是一个对象。所以我期待着： var a : Dynamic; a = 17.2; check( a ); // false a = "test"; check( a ); // false a = [1,2,3]; check( a ); // false a = 99; check( a ); // false a = {b:1, c:2}; check( a ); // true 这里是我的示例（与上面略有不同，因为它检查多个

我正在使用vis/type（版本4.21）。我们需要一个周刻度来显示我们的时间线。但是类型文件中缺少周刻度。请参阅我的本地文件中的以下代码：vis timeline/declaration/index.d.ts export type TimelineTimeAxisScaleType = 'millisecond' | 'second' | 'minute' | 'hour' |'weekday' | 'day' | 'month' | 'year'; 但在GitHub页面中，我可以看到we