c++ - "size_t"作为类型参数，未重现转换警告

coder 2024-02-25 原文

我一直在尝试消除一些旧代码中的警告(必须使用 MSVC 2005，目前使用 32 位构建)，但一直在努力消除 size_t至 unsigned int转换警告。我们有自己的Array<T>实现一个不断增长的数组的实现

template<typename I> const T& at(const I i) const {return atImpl(i);}

方法。当调用为

size_t i = 10; myArray.at(i);

我得到一个 conversion from 'size_t' to 'const unsigned int', possible loss of data警告。一个工作理论是I理解为 unsigned int ，这导致编译器强制转换/转换 size_t至 unsigned int通过时 i至 at (这会带来不便但可以接受)。但是，我无法在最小工作示例中重现此警告(本文底部)，也无法在更复杂的最小示例中重现此警告。只需将参数转换为 unsigned int使警告消失并且足以满足我们的需求(根据契约(Contract)，该数字适合 unsigned int )

我对I的理解是？正在unsigned int在这样的调用中是正确的(规范说“A typedef-name 因此是另一种类型的同义词。typedef-name 确实 not introduce a new type", typeid(size_t(1)).name() 说 unsigned int 和 size_t 似乎是 typedef fed)。换句话说，最小的例子应该或不应该发出警告？构建配置是一样，据我所知。
由于我们的代码给了我们警告，而最小的示例没有，所以我必须忽略一些事情。尽管付出了所有努力，但我无法弄清楚是什么。想法？

谢谢

最小的例子:

    template<typename T>
    class A
    {
      int t;
    public:
      template<typename I> T& at(const I i) { return t;}  
    };

    int main()
    {  
      size_t i = 10;
      A<int> a; 
      a.at(i) = 5; // no warning, why?
      return 0;
    }

最佳答案

at 函数也是模板化的。 C++ 将尝试推断模板类型参数。这就是您的代码中发生的事情，因为您没有在调用中指定类型，例如 a.at(1);

此代码将生成警告，因为它已将类型推断为 unsigned int，然后我们尝试传递一个 size_t

template <typename T>
class A
{
    int t;
    public:
        template<typename I> T& at(const I i)
        { return t;}
};

int main()
{
    unsigned int j = 5;
    size_t i = 10;
    A<int> a;

    a.at(j) = 4; // deduce template type as unsigned int
    a.at(i) = 5; // generate warning
    return 0;
}

编辑:我实际上在 VS 中尝试了这段代码，它生成了警告。

Edit2: 在我试过的代码中，size_t 和 unsigned int 也是 4 个字节。所以我做了一些挖掘。在旧版本的 VS 中，size_t 定义为 typedef __w64 unsigned int size_t '__w64' 现在已弃用，但用于标记在移动到 64 位平台时具有不同大小(例如 64 与 32)的类型。 __w64 导致编译器看到 size_t作为不同的类型。

作为实验，我输入了自己的 unsigned int myint并更改了行 size_t i = 10至 myint i = 10 .

使用 typedef __w64 unsigned int myint生成警告，而 typedef unsigned int myint 不生成警告。

关于c++ - "size_t"作为类型参数，未重现转换警告，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9786307/

有关c++ - "size_t"作为类型参数，未重现转换警告的更多相关文章

ruby-on-rails - 在 Rails 中将文件大小字符串转换为等效千字节 - 2
我的目标是转换表单输入，例如“100兆字节”或“1GB”，并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前，我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效，但前提是输入是倍数(“gigabytes”，而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以，功能正常，
ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2
我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou
ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2
我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-
ruby - 使用 ruby 将 HTML 转换为纯文本并维护结构/格式 - 2
我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。最佳答案首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h
ruby - 将数组的内容转换为 int - 2
我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]
ruby - 将散列转换为嵌套散列 - 2
这道题是thisquestion的逆题.给定一个散列，每个键都有一个数组，例如{[:a,:b,:c]=>1,[:a,:b,:d]=>2,[:a,:e]=>3,[:f]=>4,}将其转换为嵌套哈希的最佳方法是什么{:a=>{:b=>{:c=>1,:d=>2},:e=>3,},:f=>4,} 最佳答案这是一个迭代的解决方案，递归的解决方案留给读者作为练习:defconvert(h={})ret={}h.eachdo|k,v|node=retk[0..-2].each{|x|node[x]||={};node=node[x]}node[
ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2
为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar
ruby-on-rails - 如何在 ruby 中使用两个参数异步运行 exe？ - 2
exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby中使用两个参数异步运行exe吗？我已经尝试过ruby命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何rubygems会支持我的问题？最佳答案您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除
ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
ruby - RSpec - 使用测试替身作为 block 参数 - 2
我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere

c++ - "size_t"作为类型参数，未重现转换警告

有关c++ - "size_t"作为类型参数，未重现转换警告的更多相关文章

随机推荐