我如何指定一个函数可以获取一个可以是整数或 float 的列表？
我尝试像这样使用 Union 创建一个新类型:
num = Union[int, float]
def quick_sort(arr: List[num]) -> List[num]:
...
但是，mypy 不喜欢这样:
quickSortLomutoFirst.py:32: error: Argument 1 to "quickSortOuter" has
incompatible type List[int]; expected List[Union[int, float]]
是否有包含整数和 float 的类型？
最佳答案
对您的问题的简短回答是您应该使用 TypeVars 或 Sequence - 使用 List[Union[int, float]] 实际上可能会在您的代码中引入错误!
简而言之，问题在于，根据 PEP 484 类型系统(以及在许多其他类型系统中，例如 Java、C#...)，列表是不变的。您正在尝试使用该列表，就好像它是 covariant 一样。您可以了解有关协方差和不变性的更多信息 here和 here ，但也许你的代码可能是非类型安全的示例可能会有用。
考虑以下代码:
from typing import Union, List
Num = Union[int, float]
def quick_sort(arr: List[Num]) -> List[Num]:
arr.append(3.14) # We deliberately append a float
return arr
foo = [1, 2, 3, 4] # type: List[int]
quick_sort(foo)
# Danger!!!
# Previously, `foo` was of type List[int], but now
# it contains a float!?
如果允许此代码进行类型检查，我们只是破坏了我们的代码!任何依赖于 foo 的代码完全属于 List[int] 类型的代码现在都会中断。
或者更准确地说，即使 int 是 Union[int, float] 的合法子类型，但这并不意味着 List[int] 是 List[Union[int, float]] 的子类型，反之亦然。
如果我们可以接受这种行为(我们可以接受 quick_sort 决定将任意整数或 float 注入(inject)输入数组)，解决方法是手动注释 foo 与 List[Union[int, float]]:
foo = [1, 2, 3, 4] # type: List[Union[int, float]]
# Or, in Python 3.6+
foo: List[Union[int, float]] = [1, 2, 3, 4]
也就是说，预先声明 foo 尽管只包含整数，但也意味着包含 float 。这可以防止我们在调用 quick_sort 后错误地使用列表，从而完全回避这个问题。
在某些情况下，这可能是您想要做的。不过对于这种方法，可能不会。
如果我们不接受这种行为，并希望 quick_sort 保留列表中最初存在的任何类型，我会想到两种解决方案:
第一种是使用协变类型而不是列表——例如，Sequence :
from typing import Union, Sequence
Num = Union[int, float]
def quick_sort(arr: Sequence[Num]) -> Sequence[Num]:
return arr
事实证明，Sequence 或多或少类似于 List，除了它是不可变的(或者更准确地说，Sequence 的 API 不包含任何让您改变列表的方式)。这让我们可以安全地避开上面提到的错误。
第二种解决方案是更精确地键入您的数组，并坚持它必须包含所有整数或所有 float ，不允许两者混合。我们可以使用 TypeVars with value restrictions :
from typing import Union, List, TypeVar
# Note: The informal convention is to prefix all typevars with
# either 'T' or '_T' -- so 'TNum' or '_TNum'.
TNum = TypeVar('TNum', int, float)
def quick_sort(arr: List[TNum]) -> List[TNum]:
return arr
foo = [1, 2, 3, 4] # type: List[int]
quick_sort(foo)
bar = [1.0, 2.0, 3.0, 4.0] # type: List[float]
quick_sort(foo)
这也将防止我们像上面提到的那样意外地“混合”类型。
我建议使用第二种方法——它更精确一些，并且可以防止您在通过快速排序函数传递列表时丢失有关列表包含的确切类型的信息。
关于python - 将类型指定为数字列表(整数和/或 float )？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/43957034/
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。
我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚
Rackup通过Rack的默认处理程序成功运行任何Rack应用程序。例如:classRackAppdefcall(environment)['200',{'Content-Type'=>'text/html'},["Helloworld"]]endendrunRackApp.new但是当最后一行更改为使用Rack的内置CGI处理程序时，rackup给出“NoMethodErrorat/undefinedmethod`call'fornil:NilClass”:Rack::Handler::CGI.runRackApp.newRack的其他内置处理程序也提出了同样的反对意见。例如Rack
是否有类似“RVMuse1”或“RVMuselist[0]”之类的内容而不是键入整个版本号。在任何时候，我们都会看到一个可能包含5个或更多ruby的列表，我们可以轻松地键入一个数字而不是X.X.X。这也有助于rvmgemset。 最佳答案 这在RVM2.0中是可能的=>https://docs.google.com/document/d/1xW9GeEpLOWPcddDg_hOPvK4oeLxJmU3Q5FiCNT7nTAc/edit?usp=sharing-知道链接的任何人都可以发表评论
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)
我正在尝试修改当前依赖于定义为activeresource的gem:s.add_dependency"activeresource","~>3.0"为了让gem与Rails4一起工作，我需要扩展依赖关系以与activeresource的版本3或4一起工作。我不想简单地添加以下内容，因为它可能会在以后引起问题:s.add_dependency"activeresource",">=3.0"有没有办法指定可接受版本的列表？~>3.0还是~>4.0？ 最佳答案 根据thedocumentation,如果你想要3到4之间的所有版本，你可以这
我有一个这样的哈希数组:[{:foo=>2,:date=>Sat,01Sep2014},{:foo2=>2,:date=>Sat,02Sep2014},{:foo3=>3,:date=>Sat,01Sep2014},{:foo4=>4,:date=>Sat,03Sep2014},{:foo5=>5,:date=>Sat,02Sep2014}]如果:date相同，我想合并哈希值。我对上面数组的期望是:[{:foo=>2,:foo3=>3,:date=>Sat,01Sep2014},{:foo2=>2,:foo5=>5:date=>Sat,02Sep2014},{:foo4=>4,:dat
我刚刚被困在这个问题上一段时间了。以这个基地为例:moduleTopclassTestendmoduleFooendend稍后，我可以通过这样做在Foo中定义扩展Test的类:moduleTopmoduleFooclassSomeTest但是，如果我尝试通过使用::指定模块来最小化缩进:moduleTop::FooclassFailure这失败了:NameError:uninitializedconstantTop::Foo::Test这是一个错误，还是仅仅是Ruby解析变量名的方式的逻辑结果？ 最佳答案 Isthisabug,or
有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳