长跳破坏 RAII 的简单例子

中关村村草

转：night_stalker

长跳破坏 RAII 的简单例子

Resource Acquisition Is Initialization 是 C++ 卖点之一, 简单来说就是退出局部作用域的时候局部变量的析构函数就会被自动调用. 在 RAII 特性上可以做自动指针, 可以实现类似 GC 的功能, STL 和 Boost 都有智能指针和自动指针的实现.

但是如果作用域里调用的函数用了长跳转跳出去了, 析构函数就不会被调用, 内存泄漏就由此而起, 而且 ... 长跳转其实在 Ruby 里到处都是 ... 例如:


Ruby代码

1. def find_first_a list
   
2.   list.each {|i| return 'a' if i == a } # return in proc => long jump!
   
3.   return false
   
4. end

复制代码

下面用一个简单的 extension 验证看似正确的代码是怎么内存泄漏的 ...

ra.cpp

C++代码

1. #include "iostream"
   
2. #include "ruby.h"
   
3. 
   
4. namespace {
   
5.   // 典型的 C++ 类: 在构造函数分配资源, 在析构函数销毁资源
   
6.   struct C {
   
7.     int *a;
   
8.     C() {
   
9.       a = new int[100];
   
10.       std::cout << "constructor called\n";
    
11.     }
    
12.     ~C() {
    
13.       delete[] a;
    
14.       std::cout << "destructor called\n";
    
15.     }
    
16.   };
    
17. 
    
18.   VALUE f(VALUE self) {
    
19.     // 构造函数被调用
    
20.     C c;
    
21.     // block 参数
    
22.     VALUE args[0];
    
23.     // 如果 block 中用了 return 产生了长跳转, 下面的代码都不会被调用
    
24.     rb_yield((VALUE)args);
    
25.     return Qnil;
    
26.     // RAII 隐藏了在这里调用 c 的析构函数的代码
    
27.   }
    
28. }
    
29. 
    
30. extern "C"
    
31. void Init_ra() {
    
32.   VALUE c = rb_define_class("C", rb_cObject); // 定义 Ruby 类 C
    
33.   rb_define_method(c, "f", RUBY_METHOD_FUNC(f), 0); // 定义 Ruby 方法 C#f
    
34. }
    

复制代码

编译生成扩展库 (ra.so 或 ra.bundle)

Console代码

1. ruby -rmkmf -e "create_makefile 'ra'"
   
2. make

复制代码

测试长跳 (同一目录下的 test.rb)

Ruby代码

1. require_relative "ra"
   
2. 
   
3. def raii_broken
   
4.   C.new.f {
   
5.     return # long jump !
   
6.   }
   
7. end
   
8. 
   
9. def raii_normal
   
10.   C.new.f {}
    
11. end
    
12. 
    
13. puts "RAII broken:"
    
14. raii_broken
    
15. puts "\nRAII normal:"
    
16. raii_normal
    

复制代码

结果: 不用 return 就没泄漏, 用 return 就泄漏了

Console代码

1. → ruby -v
   
2. ruby 1.9.3dev (2011-07-10 trunk 32499) [x86_64-darwin10.8.0]
   
3. → ruby test.rb
   
4. RAII broken:
   
5. constructor called
   
6. 
   
7. RAII normal:
   
8. constructor called
   
9. destructor called
   

复制代码

补充:
GCC 的 cleanup attribute 扩展也是 RAII, 还没时间试验, 估计也是 ...

2gua

支持村艹了。

2gua

但这个应该不太用得上。

bugbugbug3

主要是用C++来写扩展的时候，要注意。
本来，用C++编程时，是一直不建议和setjmp,longjmp一起使用的。因为setjmp和longjmp不支持 C++的对象语义。

2gua

村艹咋不发了？