- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
这段代码有未定义的行为:
#include <string>
std::string make_str(const char* s)
{
return s;
}
const char* get_str(const std::string& s)
{
return s.c_str();
}
const char* bad()
{
return get_str(make_str("hello"));
}
错误的函数创建了一个临时的 std::string 并返回一个指向其数据的指针,该函数一返回就无效。
GCC 5+ 捕获此(“函数返回局部变量的地址”)但仅当使用 -O3
编译时。在包括 -O2
在内的更典型的优化级别,GCC 可以毫无怨言地编译它,即使使用 -Wall -Wextra
。除非您使用实验性 -Wlifetime
功能,否则 Clang 永远不会捕获它。
我的问题是:我们能否明确地告诉编译器这种生命周期依赖性,例如使用属性?例如,我希望能够这样做:
[[lifetime-depends : s]] // hypothetical syntax
const char* get_str(const std::string& s);
或者可能是这样:
const char* get_str(const std::string& s)
__attribute__((lifetime-depends(0))); // hypothetical syntax
我会接受适用于任何官方版本的 GCC 或 Clang 的答案,但更喜欢带有 C++14 的 GCC 6.1。 Clang 的实验性 -Wlifetime
不是答案,因为我想要明确,而不是依赖启发式方法(这似乎无论如何都不适用于多个翻译单元)。
或者,我会接受一个答案,说明为什么这没有用或无法实现。
最佳答案
恕我直言,这意味着编译器智能在捕获用户错误方面具有相当大的可靠性,因为那是您发布的代码,失败了。该标准已经涵盖了如何处理临时对象的生命周期,并考虑在引用仍在使用的情况下延长生命周期(参见草案 n4713,例如 15.2 Bullet 5)。但是,您发布的示例是不同的情况...
同时,论文 p1179r0 (P.W 的评论)确实提供了指向存储在栈上 对象的指针的想法,它对堆上的对象没有帮助。又该如何呢?返回指向 char(或任何类型)的指针不是错误...返回指向不再存在的数组的指针是。它怎么知道 c_str() 返回一个指向一个临时数组的指针,这个数组在它的析构函数中删除了(有点具体,不是吗?)?如何知道数组是否被销毁?如果删除完成,通过查看析构函数?如果析构函数不删除怎么办?关于析构函数应该删除的警告?如果 new
是新展示位置怎么办?如果……工厂模式……怎么办?如果为智能指针(例如:shared_ptr)创建指针怎么办...?如果再增加 200 分会怎样……在堆上管理生命周期,主要会导致垃圾收集。
你得到的警告是 function returns address of local variable [-Wreturn-local-addr]
我认为这与你的代码无关,但更多的是“意外”造成的通过短字符串优化。 SSO 优化的 std::string
does 如消息所述返回指向本地的指针...简单测试,使您的字符串长于 16 个字符,警告 disappears ...
关于C++ 函数属性指示返回值的生命周期与参数相同,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54570121/
是 if(a == 0 && b == 0 && c == 0) { return; } 一样 if(a == 0) { return; } if(b == 0) { return; } if(c =
我想做这样的事情: Class A Class B extends A Class C extends A B b = new B(); C c = new C(); b->setField("foo
我对 Mysql 世界很天真......:)我试图使用连接从表中查询, 我遇到结果集问题...表结构如下 下面... VIDEO_XXXXX | Field | Type
我最近问过关于从另一个类获取类的唯一实例的问题。 ( How to get specific instance of class from another class in Java? ) 所以,我正
假设我们有两种类型 using t1 = int*; using t2 = int*; 我知道 std::is_same::value会给我们true .什么是,或者是否有模板工具可以实现以下目标?
对于我的一个应用程序,我假设比较 2 个字符串的第一个字符比比较整个字符串是否相等要快。例如,如果我知道只有 2 个可能的字符串(在一组 n 字符串中)可以以相同的字母开头(比如说 'q'),如果是这
我想在我的NXP LPC11U37H主板(ARM Cortex-M0)上分析一些算法,因为我想知道执行特定算法需要多少个时钟周期。 我编写了这些简单的宏来进行一些分析: #define START_C
我在 Excel 中创建了一个宏,它将在 Excel 中复制一个表格,并将行除以我确定的特定数字(默认 = 500 行),并为宏创建的每个部门打开不同的工作表。 使用的代码是这样的: Sub Copy
我想根据第一个字典对第二个字典的值求和。如果我有字典 A 和 B。 A = {"Mark": ["a", "b", "c", "d"], "June": ["e", "a"], "John": ["a
当我这样做时 system()在 Perl 中调用,我通常根据 perldocs 检查返回码.嗯,我是这么想的。大部分时间 $rc!=0对我来说已经足够了。最近我在这里帮助了两个遇到问题的人syste
在我的进度条上,我试图让它检测 div 加载速度。 如果 div 加载速度很快,我想要实现的目标将很快达到 100%。但进度条的加载速度应该与 div 的加载速度一样快。 问题:如何让我的进度条加载
当我获得与本地时间相同的时间戳时,firebase 生成的服务器时间戳是否会自动转换为本地时间,或者我错过了什么? _firestore.collection("9213903123").docume
根据the original OWL definition of OWL DL ,我们不能为类和个体赋予相同的名称(这是 OWL DL 和 OWL Full 之间的明显区别)。 "Punning" i
我有两个输入复选框: 尝试使用 jQuery 来允许两个输入的行为相同。如果选中第一个复选框,则选中第二个复选框。如果未检查第 1 个,则不会检查第 2 个。反之亦然。 我有代码: $('inpu
可以从不同系统编译两个相同的java文件,但它们都有相同的内容操作系统(Windows 7),会生成不同的.class文件(大小)? 最佳答案 是的,您可以检查是否有不同版本的JDK(Java Dev
我正在清理另一个人的正则表达式,他们目前所有的都以结尾 .*$ 那么下面的不是完全一样吗? .* 最佳答案 .*将尽可能匹配,但默认情况下为 .不匹配换行符。如果您要匹配的文本有换行符并且您处于 MU
我使用 Pick ,但是如何编写可以选择多个字段的通用PickMulti呢? interface MyInterface { a: number, b: number, c: number
我有一个 SQL 数据库服务器和 2 个具有相同结构和数据的数据库。我在 2 个数据库中运行相同的 sql 查询,其中一个需要更长的时间,而另一个在不到 50% 的时间内完成。他们都有不同的执行计划。
我需要你的帮助,我有一个包含两列的表,一个 id 和 numpos,我希望 id 和 numops 具有相同的结果。 例子: $cnx = mysql_connect( "localhost", "r
如何将相同的列(在本例中按“级别”排序)放在一起?我正在做一个高分,我从我的数据库中按级别列出它们。如果他们处于同一级别,我希望他们具有相同的 ID。 但是我不想在别人身上显示ID。只有第一个。这是一
我是一名优秀的程序员,十分优秀!