取自here (很旧):
It's also important that the type used for the allocator template parameter and the type used as the element type in a standard container agree. For instance:
std::list<int, std::allocator<long> > // Wrong!won't work.
问题
以上说法是否正确(或曾经正确过)？无论我为 T 设置什么，我所做的任何测试似乎都可以正常工作在std::allocator .例如，std::vector<int, std::allocator<std::string>>编译和工作正常推回和删除元素等。
(据我所知，std::allocator<std::string>::rebind<int>::other 是使这项工作发挥作用的魔法)。
最佳答案
我在这里添加一个答案来澄清格式错误和未定义行为之间的区别。
[intro.compliance]/p1:
The set of diagnosable rules consists of all syntactic and semantic rules in this International Standard except for those rules containing an explicit notation that “no diagnostic is required” or which are described as resulting in “undefined behavior.”
[defns.ill.formed]:
program that is not well formed
[defns.well.formed]
C++ program constructed according to the syntax rules, diagnosable semantic rules, and the One Definition Rule (3.2).
在英语中:格式错误的程序应具有与之关联的诊断。未定义的行为可以做任何事情:
(除了第 4 个在实践中经常发生)
未定义的行为非常糟糕，恕我直言，C 和 C++ 标准过于宽松地应用了该规范。
从技术上讲，违反 Requires 子句会导致未定义的行为。
[res.on.required]/p1:
Violation of the preconditions specified in a function’s Requires: paragraph results in undefined behavior unless the function’s Throws: paragraph specifies throwing an exception when the precondition is violated.
如 MSN 所述，allocator_type::value_type 应与表 99 中所述的 container::value_type 相同 -- Allocator-aware container requirements .
allocator_type A Requires: allocator_type::value_type
is the same as X::value_type.
(X 表示使用 A 类型分配器的 value_type 为 T 的分配器感知容器类)
因此违规行为例如:
std::list<int, std::allocator<long> >
是未定义的行为。所以它:
就在最近(在我写这篇文章的几周内)，libc++ ( http://libcxx.llvm.org ) 已经开始使用 static_assert 诊断这种未定义的行为，以便您尽快得到坏消息。
我们决定朝这个方向发展，而不是允许这种行为，因为容器没有设置为允许在密切相关的类型之间进行转换。例如:
std::list<int, std::allocator<long>> list1;
std::list<int> list2 = list1; // is specified to not work
即如果您开始将 list1 和 list2 视为等效类型，因为 std::allocator 无论如何都会得到 rebind，当您发现这两个列表实际上是不同的类型并且无论如何都不能互操作时，您将会感到失望。因此，当您尝试将它们用作等效类型时，最好尽快得到坏消息，而不是在 2 个月或 2 年后才发现。
也许 future 的标准会将 list1 和 list2 视为等效类型。这在技术上几乎是可行的(std::is_same 可能行不通)。但是我没有听说过这方面的提议。这个方向对我来说似乎不太可能。使用 static_assert，错误很容易诊断。相反，我希望看到标准朝着使此代码格式错误而不是未定义的方向发展。这样做最困难的部分是对标准进行文字加工，而不是在 std::lib 实现中。
关于c++ - 标准容器元素类型和std::allocator类型不一样是不是错了？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/17957366/
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
我可以得到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)
有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳
我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s
我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器，但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型，并且只返回text/plain，如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain
查看我的Ruby代码:h=Hash.new([])h[0]=:word1h[1]=h[1]输出是:Hash={0=>:word1,1=>[:word2,:word3],2=>[:word2,:word3]}我希望有Hash={0=>:word1,1=>[:word2],2=>[:word3]}为什么要附加第二个哈希元素(数组)？如何将新数组元素附加到第三个哈希元素？ 最佳答案 如果您提供单个值作为Hash.new的参数(例如Hash.new([])，完全相同的对象将用作每个缺失键的默认值。这就是您所拥有的，那是你不想要的。您可以改用
我想使用spawn(针对多个并发子进程)在Ruby中执行一个外部进程，并将标准输出或标准错误收集到一个字符串中，其方式类似于使用Python的子进程Popen.communicate()可以完成的操作。我尝试将:out/:err重定向到一个新的StringIO对象，但这会生成一个ArgumentError，并且临时重新定义$stdxxx会混淆子进程的输出。 最佳答案 如果你不喜欢popen，这是我的方法:r,w=IO.pipepid=Process.spawn(command,:out=>w,:err=>[:child,:out])
我正在尝试找到一种方法来规范化字符串以将其作为文件名传递。到目前为止我有这个:my_string.mb_chars.normalize(:kd).gsub(/[^\x00-\x7F]/n,'').downcase.gsub(/[^a-z]/,'_')但第一个问题:-字符。我猜这个方法还有更多问题。我不控制名称，名称字符串可以有重音符、空格和特殊字符。我想删除所有这些，用相应的字母('é'=>'e')替换重音符号，并将其余的替换为'_'字符。名字是这样的:“Prélèvements-常规”“健康证”...我希望它们像一个没有空格/特殊字符的文件名:“prelevements_routin
如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是: