草庐IT

c++ - 为什么 sizeof(argv)/sizeof(argv[0]) 给我 C++ 中数组的大小?

coder 2024-02-26 原文

如果我在 main 中有一个数组作为参数

int main(int argc, char* argv[])

为什么会
sizeof(argv)/sizeof(argv[0])

总是可靠地给我数组的长度?

最佳答案

它没有。

写这个答案时,我可能有点不知所措;对于一个相当简单的问题,语言律师的方法太多了。我将添加这个快速摘要,它应该足以回答这个问题。答案的迂腐和过于冗长的版本低于水平线。

鉴于:

int main(int argc, char* argv[])
argv根本不是数组;它是一个指针。 (C 和 C++ 不允许数组类型的参数;看起来像数组参数的东西实际上是指针参数。)argv确实(在运行时)指向数组的第一个元素,但是声明中没有关于该数组有多大的信息。这就是为什么我们需要 argc提供该信息的参数。

所以sizeof(argv)/sizeof(argv[0])不会给你数组中元素的数量;它只是将指针的大小除以指针的大小,这可能会给您 1 . (为什么只有“可能”?这是下面过于迂腐的答案的一部分。)

现在,如果您将某些内容明确定义为数组对象:
int an_array[42];

您可以使用该习语来计算数组中的元素数:
sizeof an_array / sizeof an_array[0]

这将产生 42 ,数组中的元素数。它的工作方式(我认为)相当简单:它是整个数组的字节大小除以其中一个元素的字节大小。

但它仅适用于实际数组,不适用于 argv 之类的东西。它看起来像一个数组,但实际上是一个指针。

数组和指针之间的关系可能令人困惑。 comp.lang.c FAQ第6条很好地解释了它,其中大部分或全部适用于 C 和 C++。

现在冗长的迂腐解释太多离题了:
argv是一个指针,特别是指向 char 的指针.作为参数声明(并且仅在该上下文中),char *argv[]相当于 char **argv .
sizeof (argv)char** 中的字节数指针。
sizeof (argv[0])char* 中的字节数指针。
sizeof (argv) / sizeof (argv[0])很可能是 1(假设 char*char** 具有相同的大小,这在大多数实现中都是如此)。

现在对于已定义为数组对象的内容:
some_type an_array[COUNT];

这个表达确实有效;这个:
sizeof an_array / sizeof an_array[0]

确实为您提供了 an_array 中的元素数量,即 COUNT .我认为,这样做的原因应该是相当明显的。数组中的字节数是数组中一个元素的字节数乘以元素数。所以:
sizeof an_array == sizeof an_array[0] * COUNT

并且,重新排列条款:
sizeof an_array / sizeof an_array[0] == COUNT

顺便说一句,sizeof an_array[0]也可以写成 sizeof *an_array , 由于在 C 中定义索引运算符的方式。

(请注意,sizeof 运算符不需要在其参数周围加上括号,如果该参数是一个表达式,例如对象名称。sizeof 的操作数是一个表达式或一个带括号的类型名称。但如果您更喜欢始终将括号与 sizeof 一起使用,您可以这样做。)

这是计算数组中元素数量的常用习惯用法——但只有当您拥有数组本身的名称,而不是指向其第一个元素的指针时,它才有效。

[以下适用于 C。我相信它也适用于 C++(我最初没有注意到问题被标记为 C++,而不是 C)。]

回答评论中提出的问题,不,char*char**不需要具有相同的大小。 C 标准对指针表示的要求是:

A pointer to void shall have the same representation and alignment requirements as a pointer to a character type. Similarly, pointers to qualified or unqualified versions of compatible types shall have the same representation and alignment requirements. All pointers to structure types shall have the same representation and alignment requirements as each other. All pointers to union types shall have the same representation and alignment requirements as each other. Pointers to other types need not have the same representation or alignment requirements.



引用:N1570 , 6.2.5p28。

C++ 标准至少有一些这样的东西; N3485 草案的第 3.9.2 节 [basic.compound] 说:

An object of type cv void* shall have the same representation and alignment requirements as cv char*.



我还没有找到我从 C 标准中引用的其余内容的相应文本。

在字寻址机器上,char*char** 相比,指针可能需要更多的信息来指定一个字和该字中的一个字节。指针,它只需要指定一个对齐的单词。

关于c++ - 为什么 sizeof(argv)/sizeof(argv[0]) 给我 C++ 中数组的大小?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/16554788/

有关c++ - 为什么 sizeof(argv)/sizeof(argv[0]) 给我 C++ 中数组的大小?的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. 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看起来疯狂不安全。所以,功能正常,

  3. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  4. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  5. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  6. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  7. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

    我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

  8. ruby - ruby 中的 TOPLEVEL_BINDING 是什么? - 2

    它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  9. ruby - Infinity 和 NaN 的类型是什么? - 2

    我可以得到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类的两个特殊实例的字符串

  10. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象,为什么它会起作用? - 2

    如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象

随机推荐