Biến _ (gạch dưới) được chỉ định ở đâu và như thế nào?

Hầu hết đều biết _ý nghĩa đặc biệt của IRB với tư cách là người nắm giữ giá trị hoàn vốn cuối cùng, nhưng đó không phải là điều tôi đang hỏi ở đây.

Thay vào đó, tôi đang hỏi về _thời điểm được sử dụng làm tên biến trong mã Ruby-cũ thuần túy. Ở đây, nó dường như có một hành vi đặc biệt, giống như một “biến không quan tâm” (à la Prolog ). Dưới đây là một số ví dụ hữu ích minh họa hành vi độc đáo của nó:

lambda { |x, x| 42 }            # SyntaxError: duplicated argument name
lambda { |_, _| 42 }.call(4, 2) # => 42
lambda { |_, _| 42 }.call(_, _) # NameError: undefined local variable or method `_'
lambda { |_| _ + 1 }.call(42)   # => 43
lambda { |_, _| _ }.call(4, 2)  # 1.8.7: => 2
                                # 1.9.3: => 4
_ = 42
_ * 100         # => 4200
_, _ = 4, 2; _  # => 2

Tất cả những thứ này đều được chạy trực tiếp trong Ruby (có putsthêm vào) —không phải IRB — để tránh xung đột với chức năng bổ sung của nó.

Tuy nhiên, tất cả đều là kết quả thử nghiệm của riêng tôi, vì tôi không thể tìm thấy bất kỳ tài liệu nào về hành vi này ở bất kỳ đâu (phải thừa nhận rằng nó không phải là thứ dễ tìm kiếm nhất). Cuối cùng, tôi tò mò về cách tất cả những điều này hoạt động bên trong để tôi có thể hiểu rõ hơn chính xác điều gì đặc biệt _. Vì vậy, tôi yêu cầu tham chiếu đến tài liệu, và tốt nhất là mã nguồn Ruby (và có lẽ là RubySpec ) tiết lộ cách _hoạt động trong Ruby.

_{Lưu ý: hầu hết điều này nảy sinh từ cuộc thảo luận này với @Niklas B.}

Có một số xử lý đặc biệt trong nguồn để loại bỏ lỗi "tên đối số trùng lặp". Thông báo lỗi chỉ xuất hiện shadowing_lvar_genbên trong parse.y, phiên bản 1.9.3 trông như thế này :

static ID
shadowing_lvar_gen(struct parser_params *parser, ID name)
{
    if (idUScore == name) return name;
    /* ... */

và idUScoređược định nghĩaid.c như thế này:

REGISTER_SYMID(idUScore, "_");

Bạn sẽ thấy cách xử lý đặc biệt tương tự trong warn_unused_var:

static void
warn_unused_var(struct parser_params *parser, struct local_vars *local)
{
    /* ... */
    for (i = 0; i < cnt; ++i) {
        if (!v[i] || (u[i] & LVAR_USED)) continue;
        if (idUScore == v[i]) continue;
        rb_compile_warn(ruby_sourcefile, (int)u[i], "assigned but unused variable - %s", rb_id2name(v[i]));
    }
}

Bạn sẽ nhận thấy rằng cảnh báo bị chặn trên dòng thứ hai của forvòng lặp.

Cách xử lý đặc biệt duy nhất _mà tôi có thể tìm thấy trong nguồn 1.9.3 ở trên: lỗi tên trùng lặp bị loại bỏ và cảnh báo biến không sử dụng bị loại bỏ. Ngoài hai thứ đó, _chỉ là một biến cũ đơn giản như bất kỳ biến nào khác. Tôi không biết bất kỳ tài liệu nào về tính đặc biệt (vị thành niên) của _.

Trong Ruby 2.0, idUScore == v[i]kiểm tra trong warn_unused_varđược thay thế bằng một cuộc gọi tới is_private_local_id:

if (is_private_local_id(v[i])) continue;
rb_warn4S(ruby_sourcefile, (int)u[i], "assigned but unused variable - %s", rb_id2name(v[i]));

và is_private_local_idngăn chặn cảnh báo cho các biến bắt đầu bằng _:

if (name == idUScore) return 1;
/* ... */
return RSTRING_PTR(s)[0] == '_';

hơn là chỉ _chính nó. Vì vậy, 2.0 nới lỏng mọi thứ một chút.

_là một định danh hợp lệ. Số nhận dạng không thể chỉ chứa dấu gạch dưới mà còn có thể là dấu gạch dưới.

_ = o = Object.new
_.object_id == o.object_id
# => true

Bạn cũng có thể sử dụng nó làm tên phương thức:

def o._; :_ end
o._
# => :_

Tất nhiên, nó không chính xác là một cái tên có thể đọc được, cũng như không chuyển bất kỳ thông tin nào cho người đọc về những gì biến đề cập đến hoặc những gì phương thức thực hiện.

IRB, đặc biệt, đặt _thành giá trị của biểu thức cuối cùng:

$ irb
> 'asd'
# => "asd"
> _
# => "asd"

Vì nó nằm trong mã nguồn , nó chỉ cần đặt _thành giá trị cuối cùng:

@workspace.evaluate self, "_ = IRB.CurrentContext.last_value"

Đã khám phá một số kho lưu trữ. Đây là những gì tôi tìm thấy:

Trên những dòng cuối cùng của tệp id.c, có lời gọi:

REGISTER_SYMID(idUScore, "_");

greplấy nguồn cho idUScoretôi hai kết quả có vẻ phù hợp:

• Trong shadowing_lvar_genchức năng
• Trong warn_unused_varchức năng

shadowing_lvar_gendường như là cơ chế thông qua đó tham số chính thức của một khối thay thế một biến cùng tên tồn tại trong một phạm vi khác. Đây là hàm dường như nâng cao "tên đối số trùng lặp" SyntaxErrorvà cảnh báo "biến cục bộ bên ngoài bóng".

Sau khi grepnhập mã nguồn cho shadowing_lvar_gen, tôi tìm thấy thông tin sau trên bảng thay đổi cho Ruby 1.9.3 :

Thứ ba 11 tháng 12 01:21:21 2007 Yukihiro Matsumoto

• parse.y (shadowing_lvar_gen): không có lỗi trùng lặp cho "_".

Có thể là nguồn gốc của dòng này :

if (idUScore == name) return name;

Từ điều này, tôi suy ra rằng trong một tình huống chẳng hạn proc { |_, _| :x }.call :a, :b, một _biến chỉ đơn giản là che khuất biến kia.

Đây là cam kết được đề cập . Về cơ bản, nó giới thiệu hai dòng sau:

if (!uscore) uscore = rb_intern("_");
if (uscore == name) return;

Từ một thời điểm mà idUScorethậm chí không tồn tại, dường như.