草庐IT

c++ - C++11 std::string::operator[] 会返回空终止缓冲区吗

coder 2024-02-08 原文

我有一个 std::string 类的对象,我需要将其传递给 C 函数,该函数通过迭代它并搜索操作 char* 缓冲区空终止符。

所以,我有这样的东西:

// C function
void foo(char* buf);

// C++ code
std::string str("str");
foo(&str[0]);

假设我们使用 C++11,那么我们可以保证 std::string 表示具有连续存储的字符。

但我想知道是否有任何保证 &str[0] 将指向以 \0 结尾的缓冲区?是的,有 c_str 成员函数,但我说的是 operator[]

有人可以引用标准吗?

最佳答案

在实践中,是的。 std::string 的实现恰好为零符合标准,不会在缓冲区末尾存储 NUL 字符。

因此,如果您不是为了好奇而好奇,那么您就完成了。

但是,如果您想知道该标准是否深奥:


在 C++14 中,是的。有明确要求[]返回一组连续的元素,并且 [size()]必须返回 NUL 字符,并且 const 方法不能修改状态。所以*((&str[0])+size())必须与 str[size()] 相同, 和 str[size()]必须为 NUL,因此游戏结束。


在 C++11 中,几乎可以肯定。有规则const方法不能修改状态。有保证 data()c_str()返回符合 [] 的空终止缓冲区在每个点。

C++11 标准的复杂阅读会声明在调用 data() 之前或 c_str() , [size()]不返回缓冲区末尾的 NUL 终止符,而是返回 static const CharT这是单独存储的,并且缓冲区在 NUL 应该在的地方有一个单元化的(甚至是陷阱值)。由于要求 const方法不修改状态我认为这种解读是不正确的。

这需要 &str[str.size()]在调用 .data() 之间切换,这是一个可观察到的状态变化 stringconst调用,我认为这是非法的。

绕过标准的另一种方法可能是不初始化 str[str.size()]直到您通过调用合法访问它 .data() , .c_str()或实际通过 str.size()operator[] .由于除了标准中的那 3 种之外,没有定义的方法来访问该元素,因此您可以扩展一下并说 NUL 的延迟初始化是合法的。

我会质疑这个,作为 .data() 的定义意味着 [] 的返回值是连续的,所以 &[0].data() 相同的地址, 和 .data()+.size()保证指向 NUL CharT所以必须(&[0])+.size() ,并且没有非 const称为 std::string 状态的方法调用之间可能不会改变。

但是,如果编译器可以查看并看到您永远不会调用 .data() 怎么办?或 .c_str() , 如果可以证明您从未调用他们,那么连续性要求是否成立?

此时我会举起手来射击敌对的编译器。


标准对此非常被动。所以可能有一种方法可以使一个可以说符合标准的std::string不遵守这些规则。而且由于保证越来越接近于明确要求那里有 NUL 终止符,因此出现新编译器并使用 C++ 的折磨阅读来声称这是符合标准的可能性很低。

关于c++ - C++11 std::string::operator[] 会返回空终止缓冲区吗,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/38874050/

有关c++ - C++11 std::string::operator[] 会返回空终止缓冲区吗的更多相关文章

  1. 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返

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

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

  3. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串,该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么,如果包含,则返回它包含的键的值?例如,对于上面的h和s的例子,输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  4. ruby - Ruby 中的隐式返回值是怎么回事? - 2

    所以我开始关注ruby​​,很多东西看起来不错,但我对隐式return语句很反感。我理解默认情况下让所有内容返回self或nil但不是语句的最后一个值。对我来说,它看起来非常脆弱(尤其是)如果你正在使用一个不打算返回某些东西的方法(尤其是一个改变状态/破坏性方法的函数!),其他人可能最终依赖于一个返回对方法的目的并不重要,并且有很大的改变机会。隐式返回有什么意义?有没有办法让事情变得更简单?总是有返回以防止隐含返回被认为是好的做法吗?我是不是太担心这个了?附言当人们想要从方法中返回特定的东西时,他们是否经常使用隐式返回,这不是让你组中的其他人更容易破坏彼此的代码吗?当然,记录一切并给出

  5. ruby - 字符串文字中的转义状态作为 `String#tr` 的参数 - 2

    对于作为String#tr参数的单引号字符串文字中反斜杠的转义状态,我觉得有些神秘。你能解释一下下面三个例子之间的对比吗?我特别不明白第二个。为了避免复杂化,我在这里使用了'd',在双引号中转义时不会改变含义("\d"="d")。'\\'.tr('\\','x')#=>"x"'\\'.tr('\\d','x')#=>"\\"'\\'.tr('\\\d','x')#=>"x" 最佳答案 在tr中转义tr的第一个参数非常类似于正则表达式中的括号字符分组。您可以在表达式的开头使用^来否定匹配(替换任何不匹配的内容)并使用例如a-f来匹配一

  6. ruby-on-rails - ruby 日期方程不返回预期的真值 - 2

    为什么以下不同?Time.now.end_of_day==Time.now.end_of_day-0.days#falseTime.now.end_of_day.to_s==Time.now.end_of_day-0.days.to_s#true 最佳答案 因为纳秒数不同:ruby-1.9.2-p180:014>(Time.now.end_of_day-0.days).nsec=>999999000ruby-1.9.2-p180:015>Time.now.end_of_day.nsec=>999999998

  7. ruby - 从 String#split 返回的零长度字符串 - 2

    在Ruby1.9.3(可能还有更早的版本,不确定)中,我试图弄清楚为什么Ruby的String#split方法会给我某些结果。我得到的结果似乎与我的预期相反。这是一个例子:"abcabc".split("b")#=>["a","ca","c"]"abcabc".split("a")#=>["","bc","bc"]"abcabc".split("c")#=>["ab","ab"]在这里,第一个示例返回的正是我所期望的。但在第二个示例中,我很困惑为什么#split返回零长度字符串作为返回数组的第一个值。这是什么原因呢?这是我所期望的:"abcabc".split("a")#=>["bc"

  8. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将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.你能做的最好的事情是:

  9. ruby - 安装libv8(3.11.8.13)出错,Bundler无法继续 - 2

    运行bundleinstall后出现此错误:Gem::Package::FormatError:nometadatafoundin/Users/jeanosorio/.rvm/gems/ruby-1.9.3-p286/cache/libv8-3.11.8.13-x86_64-darwin-12.gemAnerroroccurredwhileinstallinglibv8(3.11.8.13),andBundlercannotcontinue.Makesurethat`geminstalllibv8-v'3.11.8.13'`succeedsbeforebundling.我试试gemin

  10. ruby - 为什么 Integer.respond_to?( :even? ) 返回 false? - 2

    我一直在研究RubyKoans,我发现about_open_classes.rbkoan很有趣。特别是他们修改Integer#even?方法的最后一个测试。我想尝试一下这个概念,所以我打开了Irb并尝试运行Integer.respond_to?(:even?),但令我惊讶的是我得到了错误。然后我尝试了Fixnum.respond_to?(:even?)并得到了错误。我还尝试了Integer.respond_to?(:respond_to?)并得到了true,当我执行2.even?时,我也得到了true。我不知道发生了什么。谁能告诉我缺少什么? 最佳答案

随机推荐