Ruby 4.1.0dev (2026-09-07 revision 11ce3778c6eacc10897729314e5ab3bed7830971)
struct.c (11ce3778c6eacc10897729314e5ab3bed7830971)
1/**********************************************************************
2
3 struct.c -
4
5 $Author$
6 created at: Tue Mar 22 18:44:30 JST 1995
7
8 Copyright (C) 1993-2007 Yukihiro Matsumoto
9
10**********************************************************************/
11
12#include "id.h"
13#include "internal.h"
14#include "internal/class.h"
15#include "internal/error.h"
16#include "internal/hash.h"
17#include "internal/object.h"
18#include "internal/proc.h"
19#include "internal/struct.h"
20#include "internal/symbol.h"
21#include "vm_core.h"
22#include "builtin.h"
23
24/* only for struct[:field] access */
25enum {
26 AREF_HASH_UNIT = 5,
27 AREF_HASH_THRESHOLD = 10
28};
29
30/* Note: Data is a stricter version of the Struct: no attr writers & no
31 hash-alike/array-alike behavior. It shares most of the implementation
32 on the C level, but is unrelated on the Ruby level. */
34static VALUE rb_cData;
35static ID id_members, id_back_members, id_keyword_init;
36
37static VALUE struct_alloc(VALUE);
38
39static inline VALUE
40struct_ivar_get(VALUE c, ID id)
41{
42 VALUE orig = c;
43 VALUE ivar = rb_attr_get(c, id);
44
45 if (!NIL_P(ivar))
46 return ivar;
47
48 for (;;) {
50 if (c == rb_cStruct || c == rb_cData || !RTEST(c))
51 return Qnil;
53 ivar = rb_attr_get(c, id);
54 if (!NIL_P(ivar)) {
55 if (!OBJ_FROZEN(orig)) rb_ivar_set(orig, id, ivar);
56 return ivar;
57 }
58 }
59}
60
62rb_struct_s_keyword_init(VALUE klass)
63{
64 return struct_ivar_get(klass, id_keyword_init);
65}
66
69{
70 VALUE members = struct_ivar_get(klass, id_members);
71
72 if (NIL_P(members)) {
73 rb_raise(rb_eTypeError, "uninitialized struct");
74 }
75 if (!RB_TYPE_P(members, T_ARRAY)) {
76 rb_raise(rb_eTypeError, "corrupted struct");
77 }
78 return members;
79}
80
83{
85
86 if (RSTRUCT_LEN_RAW(s) != RARRAY_LEN(members)) {
87 rb_raise(rb_eTypeError, "struct size differs (%ld required %ld given)",
88 RARRAY_LEN(members), RSTRUCT_LEN_RAW(s));
89 }
90 return members;
91}
92
93static long
94struct_member_pos_ideal(VALUE name, long mask)
95{
96 /* (id & (mask/2)) * 2 */
97 return (SYM2ID(name) >> (ID_SCOPE_SHIFT - 1)) & mask;
98}
99
100static long
101struct_member_pos_probe(long prev, long mask)
102{
103 /* (((prev/2) * AREF_HASH_UNIT + 1) & (mask/2)) * 2 */
104 return (prev * AREF_HASH_UNIT + 2) & mask;
105}
106
107static VALUE
108struct_set_members(VALUE klass, VALUE /* frozen hidden array */ members)
109{
110 VALUE back;
111 const long members_length = RARRAY_LEN(members);
112
113 if (members_length <= AREF_HASH_THRESHOLD) {
114 back = members;
115 }
116 else {
117 long i, j, mask = 64;
118 VALUE name;
119
120 while (mask < members_length * AREF_HASH_UNIT) mask *= 2;
121
122 back = rb_ary_hidden_new(mask + 1);
123 rb_ary_store(back, mask, INT2FIX(members_length));
124 mask -= 2; /* mask = (2**k-1)*2 */
125
126 for (i=0; i < members_length; i++) {
127 name = RARRAY_AREF(members, i);
128
129 j = struct_member_pos_ideal(name, mask);
130
131 for (;;) {
132 if (!RTEST(RARRAY_AREF(back, j))) {
133 rb_ary_store(back, j, name);
134 rb_ary_store(back, j + 1, INT2FIX(i));
135 break;
136 }
137 j = struct_member_pos_probe(j, mask);
138 }
139 }
140 OBJ_FREEZE(back);
141 }
142 rb_ivar_set(klass, id_members, members);
143 rb_ivar_set(klass, id_back_members, back);
144
145 return members;
146}
147
148static inline int
149struct_member_pos(VALUE s, VALUE name)
150{
151 VALUE back = struct_ivar_get(rb_obj_class(s), id_back_members);
152 long j, mask;
153
154 if (UNLIKELY(NIL_P(back))) {
155 rb_raise(rb_eTypeError, "uninitialized struct");
156 }
157 if (UNLIKELY(!RB_TYPE_P(back, T_ARRAY))) {
158 rb_raise(rb_eTypeError, "corrupted struct");
159 }
160
161 mask = RARRAY_LEN(back);
162
163 if (mask <= AREF_HASH_THRESHOLD) {
164 if (UNLIKELY(RSTRUCT_LEN_RAW(s) != mask)) {
165 rb_raise(rb_eTypeError,
166 "struct size differs (%ld required %ld given)",
167 mask, RSTRUCT_LEN_RAW(s));
168 }
169 for (j = 0; j < mask; j++) {
170 if (RARRAY_AREF(back, j) == name)
171 return (int)j;
172 }
173 return -1;
174 }
175
176 if (UNLIKELY(RSTRUCT_LEN_RAW(s) != FIX2INT(RARRAY_AREF(back, mask-1)))) {
177 rb_raise(rb_eTypeError, "struct size differs (%d required %ld given)",
178 FIX2INT(RARRAY_AREF(back, mask-1)), RSTRUCT_LEN_RAW(s));
179 }
180
181 mask -= 3;
182 j = struct_member_pos_ideal(name, mask);
183
184 for (;;) {
185 VALUE e = RARRAY_AREF(back, j);
186 if (e == name)
187 return FIX2INT(RARRAY_AREF(back, j + 1));
188 if (!RTEST(e)) {
189 return -1;
190 }
191 j = struct_member_pos_probe(j, mask);
192 }
193}
194
195/*
196 * call-seq:
197 * StructClass::members -> array_of_symbols
198 *
199 * Returns the member names of the Struct descendant as an array:
200 *
201 * Customer = Struct.new(:name, :address, :zip)
202 * Customer.members # => [:name, :address, :zip]
203 *
204 */
205
206static VALUE
207rb_struct_s_members_m(VALUE klass)
208{
209 VALUE members = rb_struct_s_members(klass);
210
211 return rb_ary_dup(members);
212}
213
214/*
215 * call-seq:
216 * members -> array_of_symbols
217 *
218 * Returns the member names from +self+ as an array:
219 *
220 * Customer = Struct.new(:name, :address, :zip)
221 * Customer.new.members # => [:name, :address, :zip]
222 *
223 * Related: #to_a.
224 */
225
226static VALUE
227rb_struct_members_m(VALUE obj)
228{
229 return rb_struct_s_members_m(rb_obj_class(obj));
230}
231
232VALUE
234{
235 VALUE slot = ID2SYM(id);
236 int i = struct_member_pos(obj, slot);
237 if (i != -1) {
238 return RSTRUCT_GET_RAW(obj, i);
239 }
240 rb_name_err_raise("'%1$s' is not a struct member", obj, ID2SYM(id));
241
243}
244
245static void
246rb_struct_modify(VALUE s)
247{
248 rb_check_frozen(s);
249}
250
251static VALUE
252anonymous_struct(VALUE klass)
253{
254 VALUE nstr;
255
256 nstr = rb_class_new(klass);
257 rb_make_metaclass(nstr, RBASIC(klass)->klass);
258 rb_class_inherited(klass, nstr);
259 return nstr;
260}
261
262static VALUE
263new_struct(VALUE name, VALUE super)
264{
265 /* old style: should we warn? */
266 ID id;
267 name = rb_str_to_str(name);
268 if (!rb_is_const_name(name)) {
269 rb_name_err_raise("identifier %1$s needs to be constant",
270 super, name);
271 }
272 id = rb_to_id(name);
273 if (rb_const_defined_at(super, id)) {
274 rb_warn("redefining constant %"PRIsVALUE"::%"PRIsVALUE, super, name);
275 rb_mod_remove_const(super, ID2SYM(id));
276 }
277 return rb_define_class_id_under_no_pin(super, id, super);
278}
279
280NORETURN(static void invalid_struct_pos(VALUE s, VALUE idx));
281
282static void
283define_aref_method(VALUE nstr, VALUE name, VALUE off)
284{
285 rb_add_method_optimized(nstr, SYM2ID(name), OPTIMIZED_METHOD_TYPE_STRUCT_AREF, FIX2UINT(off), METHOD_VISI_PUBLIC);
286}
287
288void
289rb_struct_define_aref_method(VALUE nstr, ID name, unsigned int off)
290{
291 rb_add_method_optimized(nstr, name, OPTIMIZED_METHOD_TYPE_STRUCT_AREF, off, METHOD_VISI_PUBLIC);
292}
293
294static void
295define_aset_method(VALUE nstr, VALUE name, VALUE off)
296{
297 rb_add_method_optimized(nstr, SYM2ID(name), OPTIMIZED_METHOD_TYPE_STRUCT_ASET, FIX2UINT(off), METHOD_VISI_PUBLIC);
298}
299
300static VALUE
301rb_struct_s_inspect(VALUE klass)
302{
303 VALUE inspect = rb_class_name(klass);
304 if (RTEST(rb_struct_s_keyword_init(klass))) {
305 rb_str_cat_cstr(inspect, "(keyword_init: true)");
306 }
307 return inspect;
308}
309
310static VALUE
311rb_data_s_new(int argc, const VALUE *argv, VALUE klass)
312{
313 if (rb_keyword_given_p()) {
314 if (argc > 1 || !RB_TYPE_P(argv[0], T_HASH)) {
315 rb_error_arity(argc, 0, 0);
316 }
317 return rb_class_new_instance_pass_kw(argc, argv, klass);
318 }
319 else {
320 VALUE members = struct_ivar_get(klass, id_members);
321 int num_members = RARRAY_LENINT(members);
322
323 rb_check_arity(argc, 0, num_members);
324 VALUE arg_hash = rb_hash_new_capa(argc);
325 for (long i=0; i<argc; i++) {
326 VALUE k = rb_ary_entry(members, i), v = argv[i];
327 rb_hash_aset(arg_hash, k, v);
328 }
329 return rb_class_new_instance_kw(1, &arg_hash, klass, RB_PASS_KEYWORDS);
330 }
331}
332
333#if 0 /* for RDoc */
334
335/*
336 * call-seq:
337 * StructClass::keyword_init? -> true or falsy value
338 *
339 * Returns +true+ if the class was initialized with <tt>keyword_init: true</tt>.
340 * Otherwise returns +nil+ or +false+.
341 *
342 * Examples:
343 * Foo = Struct.new(:a)
344 * Foo.keyword_init? # => nil
345 * Bar = Struct.new(:a, keyword_init: true)
346 * Bar.keyword_init? # => true
347 * Baz = Struct.new(:a, keyword_init: false)
348 * Baz.keyword_init? # => false
349 */
350static VALUE
351rb_struct_s_keyword_init_p(VALUE obj)
352{
353}
354#endif
355
356#define rb_struct_s_keyword_init_p rb_struct_s_keyword_init
357
358static VALUE
359setup_struct(VALUE nstr, VALUE members)
360{
361 long i, len;
362
363 members = struct_set_members(nstr, members);
364
365 rb_define_alloc_func(nstr, struct_alloc);
368 rb_define_singleton_method(nstr, "members", rb_struct_s_members_m, 0);
369 rb_define_singleton_method(nstr, "inspect", rb_struct_s_inspect, 0);
370 rb_define_singleton_method(nstr, "keyword_init?", rb_struct_s_keyword_init_p, 0);
371
372 len = RARRAY_LEN(members);
373 for (i=0; i< len; i++) {
374 VALUE sym = RARRAY_AREF(members, i);
375 ID id = SYM2ID(sym);
376 VALUE off = LONG2NUM(i);
377
378 define_aref_method(nstr, sym, off);
379 define_aset_method(nstr, ID2SYM(rb_id_attrset(id)), off);
380 }
381
382 return nstr;
383}
384
385static VALUE
386setup_data(VALUE subclass, VALUE members)
387{
388 long i, len;
389
390 members = struct_set_members(subclass, members);
391
392 rb_define_alloc_func(subclass, struct_alloc);
393 VALUE sclass = rb_singleton_class(subclass);
394 rb_undef_method(sclass, "define");
395 rb_define_method(sclass, "new", rb_data_s_new, -1);
396 rb_define_method(sclass, "[]", rb_data_s_new, -1);
397 rb_define_method(sclass, "members", rb_struct_s_members_m, 0);
398 rb_define_method(sclass, "inspect", rb_struct_s_inspect, 0); // FIXME: just a separate method?..
399
400 len = RARRAY_LEN(members);
401 for (i=0; i< len; i++) {
402 VALUE sym = RARRAY_AREF(members, i);
403 VALUE off = LONG2NUM(i);
404
405 define_aref_method(subclass, sym, off);
406 }
407
408 return subclass;
409}
410
411VALUE
413{
414 return struct_alloc(klass);
415}
416
417static VALUE
418struct_make_members_list(va_list ar)
419{
420 char *mem;
421 VALUE ary, list = rb_ident_hash_new();
422 RBASIC_CLEAR_CLASS(list);
423 while ((mem = va_arg(ar, char*)) != 0) {
424 VALUE sym = rb_sym_intern_ascii_cstr(mem);
425 if (RTEST(rb_hash_has_key(list, sym))) {
426 rb_raise(rb_eArgError, "duplicate member: %s", mem);
427 }
428 rb_hash_aset(list, sym, Qtrue);
429 }
430 ary = rb_hash_keys(list);
431 RBASIC_CLEAR_CLASS(ary);
432 OBJ_FREEZE(ary);
433 return ary;
434}
435
436static VALUE
437struct_define_without_accessor(VALUE outer, const char *class_name, VALUE super, rb_alloc_func_t alloc, VALUE members)
438{
439 VALUE klass;
440
441 if (class_name) {
442 if (outer) {
443 klass = rb_define_class_under(outer, class_name, super);
444 }
445 else {
446 klass = rb_define_class(class_name, super);
447 }
448 }
449 else {
450 klass = anonymous_struct(super);
451 }
452
453 struct_set_members(klass, members);
454
455 if (alloc) {
456 rb_define_alloc_func(klass, alloc);
457 }
458 else {
459 rb_define_alloc_func(klass, struct_alloc);
460 }
461
462 return klass;
463}
464
465VALUE
466rb_struct_define_without_accessor_under(VALUE outer, const char *class_name, VALUE super, rb_alloc_func_t alloc, ...)
467{
468 va_list ar;
469 VALUE members;
470
471 va_start(ar, alloc);
472 members = struct_make_members_list(ar);
473 va_end(ar);
474
475 return struct_define_without_accessor(outer, class_name, super, alloc, members);
476}
477
478VALUE
479rb_struct_define_without_accessor(const char *class_name, VALUE super, rb_alloc_func_t alloc, ...)
480{
481 va_list ar;
482 VALUE members;
483
484 va_start(ar, alloc);
485 members = struct_make_members_list(ar);
486 va_end(ar);
487
488 return struct_define_without_accessor(0, class_name, super, alloc, members);
489}
490
491VALUE
492rb_struct_define(const char *name, ...)
493{
494 va_list ar;
495 VALUE st, ary;
496
497 va_start(ar, name);
498 ary = struct_make_members_list(ar);
499 va_end(ar);
500
501 if (!name) {
502 st = anonymous_struct(rb_cStruct);
503 }
504 else {
505 st = new_struct(rb_str_new2(name), rb_cStruct);
506 rb_vm_register_global_object(st);
507 }
508 return setup_struct(st, ary);
509}
510
511VALUE
512rb_struct_define_under(VALUE outer, const char *name, ...)
513{
514 va_list ar;
515 VALUE ary;
516
517 va_start(ar, name);
518 ary = struct_make_members_list(ar);
519 va_end(ar);
520
521 return setup_struct(rb_define_class_id_under(outer, rb_intern(name), rb_cStruct), ary);
522}
523
524/*
525 * call-seq:
526 * Struct.new(*member_names, keyword_init: nil){|Struct_subclass| ... } -> Struct_subclass
527 * Struct.new(class_name, *member_names, keyword_init: nil){|Struct_subclass| ... } -> Struct_subclass
528 * Struct_subclass.new(*member_names) -> Struct_subclass_instance
529 * Struct_subclass.new(**member_names) -> Struct_subclass_instance
530 *
531 * <tt>Struct.new</tt> returns a new subclass of +Struct+. The new subclass:
532 *
533 * - May be anonymous, or may have the name given by +class_name+.
534 * - May have members as given by +member_names+.
535 * - May have initialization via ordinary arguments, or via keyword arguments
536 *
537 * The new subclass has its own method <tt>::new</tt>; thus:
538 *
539 * Foo = Struct.new('Foo', :foo, :bar) # => Struct::Foo
540 * f = Foo.new(0, 1) # => #<struct Struct::Foo foo=0, bar=1>
541 *
542 * <b>Class Name</b>
543 *
544 * With string argument +class_name+,
545 * returns a new subclass of +Struct+ named <tt>Struct::<em>class_name</em></tt>:
546 *
547 * Foo = Struct.new('Foo', :foo, :bar) # => Struct::Foo
548 * Foo.name # => "Struct::Foo"
549 * Foo.superclass # => Struct
550 *
551 * Without string argument +class_name+,
552 * returns a new anonymous subclass of +Struct+:
553 *
554 * Struct.new(:foo, :bar).name # => nil
555 *
556 * <b>Block</b>
557 *
558 * With a block given, the created subclass is yielded to the block:
559 *
560 * Customer = Struct.new('Customer', :name, :address) do |new_class|
561 * p "The new subclass is #{new_class}"
562 * def greeting
563 * "Hello #{name} at #{address}"
564 * end
565 * end # => Struct::Customer
566 * dave = Customer.new('Dave', '123 Main')
567 * dave # => #<struct Struct::Customer name="Dave", address="123 Main">
568 * dave.greeting # => "Hello Dave at 123 Main"
569 *
570 * Output, from <tt>Struct.new</tt>:
571 *
572 * "The new subclass is Struct::Customer"
573 *
574 * <b>Member Names</b>
575 *
576 * Symbol arguments +member_names+
577 * determines the members of the new subclass:
578 *
579 * Struct.new(:foo, :bar).members # => [:foo, :bar]
580 * Struct.new('Foo', :foo, :bar).members # => [:foo, :bar]
581 *
582 * The new subclass has instance methods corresponding to +member_names+:
583 *
584 * Foo = Struct.new('Foo', :foo, :bar)
585 * Foo.instance_methods(false) # => [:foo, :bar, :foo=, :bar=]
586 * f = Foo.new # => #<struct Struct::Foo foo=nil, bar=nil>
587 * f.foo # => nil
588 * f.foo = 0 # => 0
589 * f.bar # => nil
590 * f.bar = 1 # => 1
591 * f # => #<struct Struct::Foo foo=0, bar=1>
592 *
593 * <b>Singleton Methods</b>
594 *
595 * A subclass returned by Struct.new has these singleton methods:
596 *
597 * - Method <tt>::new </tt> creates an instance of the subclass:
598 *
599 * Foo.new # => #<struct Struct::Foo foo=nil, bar=nil>
600 * Foo.new(0) # => #<struct Struct::Foo foo=0, bar=nil>
601 * Foo.new(0, 1) # => #<struct Struct::Foo foo=0, bar=1>
602 * Foo.new(0, 1, 2) # Raises ArgumentError: struct size differs
603 *
604 * # Initialization with keyword arguments:
605 * Foo.new(foo: 0) # => #<struct Struct::Foo foo=0, bar=nil>
606 * Foo.new(foo: 0, bar: 1) # => #<struct Struct::Foo foo=0, bar=1>
607 * Foo.new(foo: 0, bar: 1, baz: 2)
608 * # Raises ArgumentError: unknown keywords: baz
609 *
610 * - Method <tt>:inspect</tt> returns a string representation of the subclass:
611 *
612 * Foo.inspect
613 * # => "Struct::Foo"
614 *
615 * - Method <tt>::members</tt> returns an array of the member names:
616 *
617 * Foo.members # => [:foo, :bar]
618 *
619 * <b>Keyword Argument</b>
620 *
621 * By default, the arguments for initializing an instance of the new subclass
622 * can be both positional and keyword arguments.
623 *
624 * Optional keyword argument <tt>keyword_init:</tt> allows to force only one
625 * type of arguments to be accepted:
626 *
627 * KeywordsOnly = Struct.new(:foo, :bar, keyword_init: true)
628 * KeywordsOnly.new(bar: 1, foo: 0)
629 * # => #<struct KeywordsOnly foo=0, bar=1>
630 * KeywordsOnly.new(0, 1)
631 * # Raises ArgumentError: wrong number of arguments
632 *
633 * PositionalOnly = Struct.new(:foo, :bar, keyword_init: false)
634 * PositionalOnly.new(0, 1)
635 * # => #<struct PositionalOnly foo=0, bar=1>
636 * PositionalOnly.new(bar: 1, foo: 0)
637 * # => #<struct PositionalOnly foo={foo: 1, bar: 2}, bar=nil>
638 * # Note that no error is raised, but arguments treated as one hash value
639 *
640 * # Same as not providing keyword_init:
641 * Any = Struct.new(:foo, :bar, keyword_init: nil)
642 * Any.new(foo: 1, bar: 2)
643 * # => #<struct Any foo=1, bar=2>
644 * Any.new(1, 2)
645 * # => #<struct Any foo=1, bar=2>
646 */
647
648static VALUE
649rb_struct_s_def(int argc, VALUE *argv, VALUE klass)
650{
651 VALUE name = Qnil, rest, keyword_init = Qnil;
652 long i;
653 VALUE st;
654 VALUE opt;
655
656 argc = rb_scan_args(argc, argv, "0*:", NULL, &opt);
657 if (argc >= 1 && !SYMBOL_P(argv[0])) {
658 name = argv[0];
659 --argc;
660 ++argv;
661 }
662
663 if (!NIL_P(opt)) {
664 static ID keyword_ids[1];
665
666 if (!keyword_ids[0]) {
667 keyword_ids[0] = rb_intern("keyword_init");
668 }
669 rb_get_kwargs(opt, keyword_ids, 0, 1, &keyword_init);
670 if (UNDEF_P(keyword_init)) {
671 keyword_init = Qnil;
672 }
673 else if (RTEST(keyword_init)) {
674 keyword_init = Qtrue;
675 }
676 }
677
678 rest = rb_ident_hash_new();
679 RBASIC_CLEAR_CLASS(rest);
680 for (i=0; i<argc; i++) {
681 VALUE mem = rb_to_symbol(argv[i]);
682 if (rb_is_attrset_sym(mem)) {
683 rb_raise(rb_eArgError, "invalid struct member: %"PRIsVALUE, mem);
684 }
685 if (RTEST(rb_hash_has_key(rest, mem))) {
686 rb_raise(rb_eArgError, "duplicate member: %"PRIsVALUE, mem);
687 }
688 rb_hash_aset(rest, mem, Qtrue);
689 }
690 rest = rb_hash_keys(rest);
691 RBASIC_CLEAR_CLASS(rest);
692 OBJ_FREEZE(rest);
693 if (NIL_P(name)) {
694 st = anonymous_struct(klass);
695 }
696 else {
697 st = new_struct(name, klass);
698 }
699 setup_struct(st, rest);
700 rb_ivar_set(st, id_keyword_init, keyword_init);
701 if (rb_block_given_p()) {
702 rb_mod_module_eval(0, 0, st);
703 }
704
705 return st;
706}
707
708static long
709num_members(VALUE klass)
710{
711 VALUE members;
712 members = struct_ivar_get(klass, id_members);
713 if (!RB_TYPE_P(members, T_ARRAY)) {
714 rb_raise(rb_eTypeError, "broken members");
715 }
716 return RARRAY_LEN(members);
717}
718
719/*
720 */
721
723 VALUE self;
724 VALUE unknown_keywords;
725 VALUE missing_keywords;
726 long missing_count;
727};
728
729static int rb_struct_pos(VALUE s, VALUE *name, bool name_only);
730static VALUE deconstruct_keys(VALUE s, VALUE keys, bool name_only);
731static int rb_struct_pos(VALUE s, VALUE *name, bool name_only);
732
733static int
734struct_hash_aset(VALUE key, VALUE val, struct struct_hash_set_arg *args, bool name_only)
735{
736 int i = rb_struct_pos(args->self, &key, name_only);
737 if (i < 0) {
738 if (NIL_P(args->unknown_keywords)) {
739 args->unknown_keywords = rb_ary_new();
740 }
741 rb_ary_push(args->unknown_keywords, key);
742 }
743 else {
744 rb_struct_modify(args->self);
745 RSTRUCT_SET_RAW(args->self, i, val);
746 }
747 return i;
748}
749
750static int
751struct_hash_set_i(VALUE key, VALUE val, VALUE arg)
752{
753 struct struct_hash_set_arg *args = (struct struct_hash_set_arg *)arg;
754 struct_hash_aset(key, val, args, false);
755 return ST_CONTINUE;
756}
757
758static VALUE
759rb_struct_initialize_m(int argc, const VALUE *argv, VALUE self)
760{
761 VALUE klass = rb_obj_class(self);
762 rb_struct_modify(self);
763 long n = num_members(klass);
764 if (argc == 0) {
765 rb_mem_clear((VALUE *)RSTRUCT_CONST_PTR(self), n);
766 return Qnil;
767 }
768
769 bool keyword_init = false;
770 switch (rb_struct_s_keyword_init(klass)) {
771 default:
772 if (argc > 1 || !RB_TYPE_P(argv[0], T_HASH)) {
773 rb_error_arity(argc, 0, 0);
774 }
775 keyword_init = true;
776 break;
777 case Qfalse:
778 break;
779 case Qnil:
780 if (argc > 1 || !RB_TYPE_P(argv[0], T_HASH)) {
781 break;
782 }
783 keyword_init = rb_keyword_given_p();
784 break;
785 }
786 if (keyword_init) {
787 struct struct_hash_set_arg arg = {
788 .self = self,
789 .unknown_keywords = Qnil,
790 };
791 rb_mem_clear((VALUE *)RSTRUCT_CONST_PTR(self), n);
792 rb_hash_foreach(argv[0], struct_hash_set_i, (VALUE)&arg);
793 if (UNLIKELY(!NIL_P(arg.unknown_keywords))) {
794 rb_raise(rb_eArgError, "unknown keywords: %"PRIsVALUE,
795 rb_ary_join(arg.unknown_keywords, rb_str_new2(", ")));
796 }
797 }
798 else {
799 if (n < argc) {
800 rb_raise(rb_eArgError, "struct size differs");
801 }
802 for (long i=0; i<argc; i++) {
803 RSTRUCT_SET_RAW(self, i, argv[i]);
804 }
805 if (n > argc) {
806 rb_mem_clear((VALUE *)RSTRUCT_CONST_PTR(self)+argc, n-argc);
807 }
808 }
809 return Qnil;
810}
811
812VALUE
814{
815 rb_struct_initialize_m(RARRAY_LENINT(values), RARRAY_CONST_PTR(values), self);
816 if (rb_obj_is_kind_of(self, rb_cData)) OBJ_FREEZE(self);
817 RB_GC_GUARD(values);
818 return Qnil;
819}
820
821static VALUE *
822struct_heap_alloc(VALUE st, size_t len)
823{
824 return ALLOC_N(VALUE, len);
825}
826
827STATIC_ASSERT(robject_rstruct_fields_offset, offsetof(struct RObject, as.extended) == offsetof(struct RStruct, fields_obj));
828
829static VALUE
830struct_alloc(VALUE klass)
831{
832 long n = num_members(klass);
833 size_t embedded_size = offsetof(struct RStruct, as.ary) + (sizeof(VALUE) * n);
834 VALUE flags = T_STRUCT;
835 const long embed_len_max = RSTRUCT_EMBED_LEN_MASK >> RSTRUCT_EMBED_LEN_SHIFT;
836
837 if (n > 0 && n <= embed_len_max && rb_gc_size_allocatable_p(embedded_size)) {
838 flags |= n << RSTRUCT_EMBED_LEN_SHIFT;
839
840 VALUE st = rb_newobj(GET_EC(), klass, flags, ROOT_SHAPE_ID | SHAPE_ID_LAYOUT_EXTENDED, true, embedded_size);
841 RSTRUCT_SET_FIELDS_OBJ(st, 0);
842 rb_mem_clear((VALUE *)RSTRUCT(st)->as.ary, n);
843
844 return st;
845 }
846 else {
847 VALUE obj = rb_newobj(GET_EC(), klass, flags, ROOT_SHAPE_ID | SHAPE_ID_LAYOUT_EXTENDED, true, sizeof(struct RStruct));
848 struct RStruct *st = RSTRUCT(obj);
849
850 st->fields_obj = 0;
851 st->as.heap.ptr = NULL;
852 st->as.heap.len = 0;
853
854 st->as.heap.ptr = struct_heap_alloc((VALUE)st, n);
855 rb_mem_clear((VALUE *)st->as.heap.ptr, n);
856 st->as.heap.len = n;
857
858 return obj;
859 }
860}
861
862VALUE
864{
865 return rb_class_new_instance(RARRAY_LENINT(values), RARRAY_CONST_PTR(values), klass);
866}
867
868VALUE
870{
871 VALUE tmpargs[16], *mem = tmpargs;
872 int size, i;
873 va_list args;
874
875 size = rb_long2int(num_members(klass));
876 if (size > numberof(tmpargs)) {
877 tmpargs[0] = rb_ary_hidden_new(size);
878 mem = RARRAY_PTR(tmpargs[0]);
879 }
880 va_start(args, klass);
881 for (i=0; i<size; i++) {
882 mem[i] = va_arg(args, VALUE);
883 }
884 va_end(args);
885
886 return rb_class_new_instance(size, mem, klass);
887}
888
889static VALUE
890struct_enum_size(VALUE s, VALUE args, VALUE eobj)
891{
892 return rb_struct_size(s);
893}
894
895/*
896 * call-seq:
897 * each {|value| ... } -> self
898 * each -> enumerator
899 *
900 * Calls the given block with the value of each member; returns +self+:
901 *
902 * Customer = Struct.new(:name, :address, :zip)
903 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
904 * joe.each {|value| p value }
905 *
906 * Output:
907 *
908 * "Joe Smith"
909 * "123 Maple, Anytown NC"
910 * 12345
911 *
912 * Returns an Enumerator if no block is given.
913 *
914 * Related: #each_pair.
915 */
916
917static VALUE
918rb_struct_each(VALUE s)
919{
920 long i;
921
922 RETURN_SIZED_ENUMERATOR(s, 0, 0, struct_enum_size);
923 for (i=0; i<RSTRUCT_LEN_RAW(s); i++) {
924 rb_yield(RSTRUCT_GET_RAW(s, i));
925 }
926 return s;
927}
928
929/*
930 * call-seq:
931 * each_pair {|(name, value)| ... } -> self
932 * each_pair -> enumerator
933 *
934 * Calls the given block with each member name/value pair; returns +self+:
935 *
936 * Customer = Struct.new(:name, :address, :zip) # => Customer
937 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
938 * joe.each_pair {|(name, value)| p "#{name} => #{value}" }
939 *
940 * Output:
941 *
942 * "name => Joe Smith"
943 * "address => 123 Maple, Anytown NC"
944 * "zip => 12345"
945 *
946 * Returns an Enumerator if no block is given.
947 *
948 * Related: #each.
949 *
950 */
951
952static VALUE
953rb_struct_each_pair(VALUE s)
954{
955 VALUE members;
956 long i;
957
958 RETURN_SIZED_ENUMERATOR(s, 0, 0, struct_enum_size);
959 members = rb_struct_members(s);
960 if (rb_block_pair_yield_optimizable()) {
961 for (i=0; i<RSTRUCT_LEN_RAW(s); i++) {
962 VALUE key = rb_ary_entry(members, i);
963 VALUE value = RSTRUCT_GET_RAW(s, i);
964 rb_yield_values(2, key, value);
965 }
966 }
967 else {
968 for (i=0; i<RSTRUCT_LEN_RAW(s); i++) {
969 VALUE key = rb_ary_entry(members, i);
970 VALUE value = RSTRUCT_GET_RAW(s, i);
971 rb_yield(rb_assoc_new(key, value));
972 }
973 }
974 return s;
975}
976
977static VALUE
978inspect_struct(VALUE s, VALUE prefix, int recur)
979{
980 VALUE cname = rb_class_path(rb_obj_class(s));
981 VALUE members;
982 VALUE str = prefix;
983 long i, len;
984 char first = RSTRING_PTR(cname)[0];
985
986 if (recur || first != '#') {
987 rb_str_cat2(str, " ");
988 rb_str_append(str, cname);
989 }
990 if (recur) {
991 return rb_str_cat2(str, ":...>");
992 }
993
994 members = rb_struct_members(s);
995 len = RSTRUCT_LEN_RAW(s);
996
997 for (i=0; i<len; i++) {
998 VALUE slot;
999 ID id;
1000
1001 if (i > 0) {
1002 rb_str_cat2(str, ", ");
1003 }
1004 else {
1005 rb_str_cat2(str, " ");
1006 }
1007 slot = RARRAY_AREF(members, i);
1008 id = SYM2ID(slot);
1009 if (rb_is_local_id(id) || rb_is_const_id(id)) {
1010 rb_str_append(str, rb_sym2str(slot));
1011 }
1012 else {
1013 rb_str_append(str, rb_inspect(slot));
1014 }
1015 rb_str_cat2(str, "=");
1016 rb_str_append(str, rb_inspect(RSTRUCT_GET_RAW(s, i)));
1017 }
1018 rb_str_cat2(str, ">");
1019
1020 return str;
1021}
1022
1023/*
1024 * call-seq:
1025 * inspect -> string
1026 *
1027 * Returns a string representation of +self+:
1028 *
1029 * Customer = Struct.new(:name, :address, :zip) # => Customer
1030 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1031 * joe.inspect # => "#<struct Customer name=\"Joe Smith\", address=\"123 Maple, Anytown NC\", zip=12345>"
1032 *
1033 */
1034
1035static VALUE
1036rb_struct_inspect(VALUE s)
1037{
1038 return rb_exec_recursive(inspect_struct, s, rb_str_new2("#<struct"));
1039}
1040
1041/*
1042 * call-seq:
1043 * to_a -> array
1044 *
1045 * Returns the values in +self+ as an array:
1046 *
1047 * Customer = Struct.new(:name, :address, :zip)
1048 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1049 * joe.to_a # => ["Joe Smith", "123 Maple, Anytown NC", 12345]
1050 *
1051 * Related: #members.
1052 */
1053
1054static VALUE
1055rb_struct_to_a(VALUE s)
1056{
1057 return rb_ary_new4(RSTRUCT_LEN_RAW(s), RSTRUCT_CONST_PTR(s));
1058}
1059
1060/*
1061 * call-seq:
1062 * to_h -> hash
1063 * to_h {|name, value| ... } -> hash
1064 *
1065 * Returns a hash containing the name and value for each member:
1066 *
1067 * Customer = Struct.new(:name, :address, :zip)
1068 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1069 * h = joe.to_h
1070 * h # => {name: "Joe Smith", address: "123 Maple, Anytown NC", zip: 12345}
1071 *
1072 * If a block is given, it is called with each name/value pair;
1073 * the block should return a 2-element array whose elements will become
1074 * a key/value pair in the returned hash:
1075 *
1076 * h = joe.to_h{|name, value| [name.upcase, value.to_s.upcase]}
1077 * h # => {NAME: "JOE SMITH", ADDRESS: "123 MAPLE, ANYTOWN NC", ZIP: "12345"}
1078 *
1079 * Raises ArgumentError if the block returns an inappropriate value.
1080 *
1081 */
1082
1083static VALUE
1084rb_struct_to_h(VALUE s)
1085{
1086 VALUE h = rb_hash_new_capa(RSTRUCT_LEN_RAW(s));
1087 VALUE members = rb_struct_members(s);
1088 long i;
1089 int block_given = rb_block_given_p();
1090
1091 for (i=0; i<RSTRUCT_LEN_RAW(s); i++) {
1092 VALUE k = rb_ary_entry(members, i), v = RSTRUCT_GET_RAW(s, i);
1093 if (block_given)
1094 rb_hash_set_pair(h, rb_yield_values(2, k, v));
1095 else
1096 rb_hash_aset(h, k, v);
1097 }
1098 return h;
1099}
1100
1101/*
1102 * call-seq:
1103 * deconstruct_keys(array_of_names) -> hash
1104 *
1105 * Returns a hash of the name/value pairs for the given member names.
1106 *
1107 * Customer = Struct.new(:name, :address, :zip)
1108 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1109 * h = joe.deconstruct_keys([:zip, :address])
1110 * h # => {zip: 12345, address: "123 Maple, Anytown NC"}
1111 *
1112 * Returns all names and values if +array_of_names+ is +nil+:
1113 *
1114 * h = joe.deconstruct_keys(nil)
1115 * h # => {name: "Joseph Smith, Jr.", address: "123 Maple, Anytown NC", zip: 12345}
1116 *
1117 */
1118static VALUE
1119rb_struct_deconstruct_keys(VALUE s, VALUE keys)
1120{
1121 return deconstruct_keys(s, keys, false);
1122}
1123
1124static VALUE
1125deconstruct_keys(VALUE s, VALUE keys, bool name_only)
1126{
1127 VALUE h;
1128 long i;
1129
1130 if (NIL_P(keys)) {
1131 return rb_struct_to_h(s);
1132 }
1133 if (UNLIKELY(!RB_TYPE_P(keys, T_ARRAY))) {
1134 rb_raise(rb_eTypeError,
1135 "wrong argument type %"PRIsVALUE" (expected Array or nil)",
1136 rb_obj_class(keys));
1137
1138 }
1139 if (RSTRUCT_LEN_RAW(s) < RARRAY_LEN(keys)) {
1140 return rb_hash_new();
1141 }
1142 h = rb_hash_new_capa(RARRAY_LEN(keys));
1143 for (i=0; i<RARRAY_LEN(keys); i++) {
1144 VALUE key = RARRAY_AREF(keys, i);
1145 int i = rb_struct_pos(s, &key, name_only);
1146 if (i < 0) {
1147 return h;
1148 }
1149 rb_hash_aset(h, key, RSTRUCT_GET_RAW(s, i));
1150 }
1151 return h;
1152}
1153
1154/* :nodoc: */
1155VALUE
1156rb_struct_init_copy(VALUE copy, VALUE s)
1157{
1158 long i, len;
1159
1160 if (!OBJ_INIT_COPY(copy, s)) return copy;
1161 if (RSTRUCT_LEN_RAW(copy) != RSTRUCT_LEN_RAW(s)) {
1162 rb_raise(rb_eTypeError, "struct size mismatch");
1163 }
1164
1165 for (i=0, len=RSTRUCT_LEN_RAW(copy); i<len; i++) {
1166 RSTRUCT_SET_RAW(copy, i, RSTRUCT_GET_RAW(s, i));
1167 }
1168
1169 return copy;
1170}
1171
1172static int
1173rb_struct_pos(VALUE s, VALUE *name, bool name_only)
1174{
1175 long i;
1176 VALUE idx = *name;
1177
1178 if (SYMBOL_P(idx)) {
1179 return struct_member_pos(s, idx);
1180 }
1181 else if (name_only || RB_TYPE_P(idx, T_STRING)) {
1182 idx = rb_check_symbol(name);
1183 if (NIL_P(idx)) return -1;
1184 return struct_member_pos(s, idx);
1185 }
1186 else {
1187 long len;
1188 i = NUM2LONG(idx);
1189 len = RSTRUCT_LEN_RAW(s);
1190 if (i < 0) {
1191 if (i + len < 0) {
1192 *name = LONG2FIX(i);
1193 return -1;
1194 }
1195 i += len;
1196 }
1197 else if (len <= i) {
1198 *name = LONG2FIX(i);
1199 return -1;
1200 }
1201 return (int)i;
1202 }
1203}
1204
1205static void
1206invalid_struct_pos(VALUE s, VALUE idx)
1207{
1208 if (FIXNUM_P(idx)) {
1209 long i = FIX2INT(idx), len = RSTRUCT_LEN_RAW(s);
1210 if (i < 0) {
1211 rb_raise(rb_eIndexError, "offset %ld too small for struct(size:%ld)",
1212 i, len);
1213 }
1214 else {
1215 rb_raise(rb_eIndexError, "offset %ld too large for struct(size:%ld)",
1216 i, len);
1217 }
1218 }
1219 else {
1220 rb_name_err_raise("no member '%1$s' in struct", s, idx);
1221 }
1222}
1223
1224/*
1225 * call-seq:
1226 * struct[name] -> object
1227 * struct[n] -> object
1228 *
1229 * Returns a value from +self+.
1230 *
1231 * With symbol or string argument +name+ given, returns the value for the named member:
1232 *
1233 * Customer = Struct.new(:name, :address, :zip)
1234 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1235 * joe[:zip] # => 12345
1236 *
1237 * Raises NameError if +name+ is not the name of a member.
1238 *
1239 * With integer argument +n+ given, returns <tt>self.values[n]</tt>
1240 * if +n+ is in range;
1241 * see Array@Array+Indexes:
1242 *
1243 * joe[2] # => 12345
1244 * joe[-2] # => "123 Maple, Anytown NC"
1245 *
1246 * Raises IndexError if +n+ is out of range.
1247 *
1248 */
1249
1250VALUE
1252{
1253 int i = rb_struct_pos(s, &idx, false);
1254 if (i < 0) invalid_struct_pos(s, idx);
1255 return RSTRUCT_GET_RAW(s, i);
1256}
1257
1258/*
1259 * call-seq:
1260 * struct[name] = value -> value
1261 * struct[n] = value -> value
1262 *
1263 * Assigns a value to a member.
1264 *
1265 * With symbol or string argument +name+ given, assigns the given +value+
1266 * to the named member; returns +value+:
1267 *
1268 * Customer = Struct.new(:name, :address, :zip)
1269 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1270 * joe[:zip] = 54321 # => 54321
1271 * joe # => #<struct Customer name="Joe Smith", address="123 Maple, Anytown NC", zip=54321>
1272 *
1273 * Raises NameError if +name+ is not the name of a member.
1274 *
1275 * With integer argument +n+ given, assigns the given +value+
1276 * to the +n+-th member if +n+ is in range;
1277 * see Array@Array+Indexes:
1278 *
1279 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1280 * joe[2] = 54321 # => 54321
1281 * joe[-3] = 'Joseph Smith' # => "Joseph Smith"
1282 * joe # => #<struct Customer name="Joseph Smith", address="123 Maple, Anytown NC", zip=54321>
1283 *
1284 * Raises IndexError if +n+ is out of range.
1285 *
1286 */
1287
1288VALUE
1290{
1291 int i = rb_struct_pos(s, &idx, false);
1292 if (i < 0) invalid_struct_pos(s, idx);
1293 rb_struct_modify(s);
1294 RSTRUCT_SET_RAW(s, i, val);
1295 return val;
1296}
1297
1298FUNC_MINIMIZED(VALUE rb_struct_lookup(VALUE s, VALUE idx));
1299NOINLINE(static VALUE rb_struct_lookup_default(VALUE s, VALUE idx, VALUE notfound, bool name_only));
1300
1301VALUE
1302rb_struct_lookup(VALUE s, VALUE idx)
1303{
1304 return rb_struct_lookup_default(s, idx, Qnil, false);
1305}
1306
1307static VALUE
1308rb_struct_lookup_default(VALUE s, VALUE idx, VALUE notfound, bool name_only)
1309{
1310 int i = rb_struct_pos(s, &idx, name_only);
1311 if (i < 0) return notfound;
1312 return RSTRUCT_GET_RAW(s, i);
1313}
1314
1315static VALUE
1316struct_entry(VALUE s, long n)
1317{
1318 return rb_struct_aref(s, LONG2NUM(n));
1319}
1320
1321/*
1322 * call-seq:
1323 * values_at(*integers) -> array
1324 * values_at(integer_range) -> array
1325 *
1326 * Returns an array of values from +self+.
1327 *
1328 * With integer arguments +integers+ given,
1329 * returns an array containing each value given by one of +integers+:
1330 *
1331 * Customer = Struct.new(:name, :address, :zip)
1332 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1333 * joe.values_at(0, 2) # => ["Joe Smith", 12345]
1334 * joe.values_at(2, 0) # => [12345, "Joe Smith"]
1335 * joe.values_at(2, 1, 0) # => [12345, "123 Maple, Anytown NC", "Joe Smith"]
1336 * joe.values_at(0, -3) # => ["Joe Smith", "Joe Smith"]
1337 *
1338 * Raises IndexError if any of +integers+ is out of range;
1339 * see Array@Array+Indexes.
1340 *
1341 * With integer range argument +integer_range+ given,
1342 * returns an array containing each value given by the elements of the range;
1343 * fills with +nil+ values for range elements larger than the structure:
1344 *
1345 * joe.values_at(0..2)
1346 * # => ["Joe Smith", "123 Maple, Anytown NC", 12345]
1347 * joe.values_at(-3..-1)
1348 * # => ["Joe Smith", "123 Maple, Anytown NC", 12345]
1349 * joe.values_at(1..4) # => ["123 Maple, Anytown NC", 12345, nil, nil]
1350 *
1351 * Raises RangeError if any element of the range is negative and out of range;
1352 * see Array@Array+Indexes.
1353 *
1354 */
1355
1356static VALUE
1357rb_struct_values_at(int argc, VALUE *argv, VALUE s)
1358{
1359 return rb_get_values_at(s, RSTRUCT_LEN_RAW(s), argc, argv, struct_entry);
1360}
1361
1362/*
1363 * call-seq:
1364 * select {|value| ... } -> array
1365 * select -> enumerator
1366 *
1367 * With a block given, returns an array of values from +self+
1368 * for which the block returns a truthy value:
1369 *
1370 * Customer = Struct.new(:name, :address, :zip)
1371 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1372 * a = joe.select {|value| value.is_a?(String) }
1373 * a # => ["Joe Smith", "123 Maple, Anytown NC"]
1374 * a = joe.select {|value| value.is_a?(Integer) }
1375 * a # => [12345]
1376 *
1377 * With no block given, returns an Enumerator.
1378 */
1379
1380static VALUE
1381rb_struct_select(int argc, VALUE *argv, VALUE s)
1382{
1383 VALUE result;
1384 long i;
1385
1386 rb_check_arity(argc, 0, 0);
1387 RETURN_SIZED_ENUMERATOR(s, 0, 0, struct_enum_size);
1388 result = rb_ary_new();
1389 for (i = 0; i < RSTRUCT_LEN_RAW(s); i++) {
1390 if (RTEST(rb_yield(RSTRUCT_GET_RAW(s, i)))) {
1391 rb_ary_push(result, RSTRUCT_GET_RAW(s, i));
1392 }
1393 }
1394
1395 return result;
1396}
1397
1398static VALUE
1399recursive_equal(VALUE s, VALUE s2, int recur)
1400{
1401 long i, len;
1402
1403 if (recur) return Qtrue; /* Subtle! */
1404 len = RSTRUCT_LEN_RAW(s);
1405 for (i=0; i<len; i++) {
1406 if (!rb_equal(RSTRUCT_GET_RAW(s, i), RSTRUCT_GET_RAW(s2, i))) return Qfalse;
1407 }
1408 return Qtrue;
1409}
1410
1411
1412/*
1413 * call-seq:
1414 * self == other -> true or false
1415 *
1416 * Returns whether both the following are true:
1417 *
1418 * - <tt>other.class == self.class</tt>.
1419 * - For each member name +name+, <tt>other.name == self.name</tt>.
1420 *
1421 * Examples:
1422 *
1423 * Customer = Struct.new(:name, :address, :zip)
1424 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1425 * joe_jr = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1426 * joe_jr == joe # => true
1427 * joe_jr[:name] = 'Joe Smith, Jr.'
1428 * # => "Joe Smith, Jr."
1429 * joe_jr == joe # => false
1430 */
1431
1432static VALUE
1433rb_struct_equal(VALUE s, VALUE s2)
1434{
1435 if (s == s2) return Qtrue;
1436 if (!RB_TYPE_P(s2, T_STRUCT)) return Qfalse;
1437 if (rb_obj_class(s) != rb_obj_class(s2)) return Qfalse;
1438 if (RSTRUCT_LEN_RAW(s) != RSTRUCT_LEN_RAW(s2)) {
1439 rb_bug("inconsistent struct"); /* should never happen */
1440 }
1441
1442 return rb_exec_recursive_paired(recursive_equal, s, s2, s2);
1443}
1444
1445/*
1446 * call-seq:
1447 * hash -> integer
1448 *
1449 * Returns the integer hash value for +self+.
1450 *
1451 * Two structs of the same class and with the same content
1452 * will have the same hash code (and will compare using Struct#eql?):
1453 *
1454 * Customer = Struct.new(:name, :address, :zip)
1455 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1456 * joe_jr = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1457 * joe.hash == joe_jr.hash # => true
1458 * joe_jr[:name] = 'Joe Smith, Jr.'
1459 * joe.hash == joe_jr.hash # => false
1460 *
1461 * Related: Object#hash.
1462 */
1463
1464static VALUE
1465rb_struct_hash(VALUE s)
1466{
1467 long i, len;
1468 st_index_t h;
1469 VALUE n;
1470
1471 h = rb_hash_start(rb_hash(rb_obj_class(s)));
1472 len = RSTRUCT_LEN_RAW(s);
1473 for (i = 0; i < len; i++) {
1474 n = rb_hash(RSTRUCT_GET_RAW(s, i));
1475 h = rb_hash_uint(h, NUM2LONG(n));
1476 }
1477 h = rb_hash_end(h);
1478 return ST2FIX(h);
1479}
1480
1481static VALUE
1482recursive_eql(VALUE s, VALUE s2, int recur)
1483{
1484 long i, len;
1485
1486 if (recur) return Qtrue; /* Subtle! */
1487 len = RSTRUCT_LEN_RAW(s);
1488 for (i=0; i<len; i++) {
1489 if (!rb_eql(RSTRUCT_GET_RAW(s, i), RSTRUCT_GET_RAW(s2, i))) return Qfalse;
1490 }
1491 return Qtrue;
1492}
1493
1494/*
1495 * call-seq:
1496 * eql?(other) -> true or false
1497 *
1498 * Returns +true+ if and only if the following are true; otherwise returns +false+:
1499 *
1500 * - <tt>other.class == self.class</tt>.
1501 * - For each member name +name+, <tt>other.name.eql?(self.name)</tt>.
1502 *
1503 * Customer = Struct.new(:name, :address, :zip)
1504 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1505 * joe_jr = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1506 * joe_jr.eql?(joe) # => true
1507 * joe_jr[:name] = 'Joe Smith, Jr.'
1508 * joe_jr.eql?(joe) # => false
1509 *
1510 * Related: Object#==.
1511 */
1512
1513static VALUE
1514rb_struct_eql(VALUE s, VALUE s2)
1515{
1516 if (s == s2) return Qtrue;
1517 if (!RB_TYPE_P(s2, T_STRUCT)) return Qfalse;
1518 if (rb_obj_class(s) != rb_obj_class(s2)) return Qfalse;
1519 if (RSTRUCT_LEN_RAW(s) != RSTRUCT_LEN_RAW(s2)) {
1520 rb_bug("inconsistent struct"); /* should never happen */
1521 }
1522
1523 return rb_exec_recursive_paired(recursive_eql, s, s2, s2);
1524}
1525
1526/*
1527 * call-seq:
1528 * size -> integer
1529 *
1530 * Returns the number of members.
1531 *
1532 * Customer = Struct.new(:name, :address, :zip)
1533 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
1534 * joe.size #=> 3
1535 *
1536 */
1537
1538VALUE
1540{
1541 return LONG2FIX(RSTRUCT_LEN_RAW(s));
1542}
1543
1544/*
1545 * call-seq:
1546 * dig(name, *identifiers) -> object
1547 * dig(n, *identifiers) -> object
1548 *
1549 * Finds and returns an object among nested objects.
1550 * The nested objects may be instances of various classes.
1551 * See {Dig Methods}[rdoc-ref:dig_methods.rdoc].
1552 *
1553 *
1554 * Given symbol or string argument +name+,
1555 * returns the object that is specified by +name+ and +identifiers+:
1556 *
1557 * Foo = Struct.new(:a)
1558 * f = Foo.new(Foo.new({b: [1, 2, 3]}))
1559 * f.dig(:a) # => #<struct Foo a={b: [1, 2, 3]}>
1560 * f.dig(:a, :a) # => {b: [1, 2, 3]}
1561 * f.dig(:a, :a, :b) # => [1, 2, 3]
1562 * f.dig(:a, :a, :b, 0) # => 1
1563 * f.dig(:b, 0) # => nil
1564 *
1565 * Given integer argument +n+,
1566 * returns the object that is specified by +n+ and +identifiers+:
1567 *
1568 * f.dig(0) # => #<struct Foo a={b: [1, 2, 3]}>
1569 * f.dig(0, 0) # => {b: [1, 2, 3]}
1570 * f.dig(0, 0, :b) # => [1, 2, 3]
1571 * f.dig(0, 0, :b, 0) # => 1
1572 * f.dig(:b, 0) # => nil
1573 *
1574 */
1575
1576static VALUE
1577rb_struct_dig(int argc, VALUE *argv, VALUE self)
1578{
1580 self = rb_struct_lookup(self, *argv);
1581 if (!--argc) return self;
1582 ++argv;
1583 return rb_obj_dig(argc, argv, self, Qnil);
1584}
1585
1586/*
1587 * Document-class: Data
1588 *
1589 * Class \Data provides a convenient way to define simple classes
1590 * for value-alike objects.
1591 *
1592 * The simplest example of usage:
1593 *
1594 * Measure = Data.define(:amount, :unit)
1595 *
1596 * # Positional arguments constructor is provided
1597 * distance = Measure.new(100, 'km')
1598 * #=> #<data Measure amount=100, unit="km">
1599 *
1600 * # Keyword arguments constructor is provided
1601 * weight = Measure.new(amount: 50, unit: 'kg')
1602 * #=> #<data Measure amount=50, unit="kg">
1603 *
1604 * # Alternative form to construct an object:
1605 * speed = Measure[10, 'mPh']
1606 * #=> #<data Measure amount=10, unit="mPh">
1607 *
1608 * # Works with keyword arguments, too:
1609 * area = Measure[amount: 1.5, unit: 'm^2']
1610 * #=> #<data Measure amount=1.5, unit="m^2">
1611 *
1612 * # Argument accessors are provided:
1613 * distance.amount #=> 100
1614 * distance.unit #=> "km"
1615 *
1616 * Constructed object also has a reasonable definitions of #==
1617 * operator, #to_h hash conversion, and #deconstruct / #deconstruct_keys
1618 * to be used in pattern matching.
1619 *
1620 * ::define method accepts an optional block and evaluates it in
1621 * the context of the newly defined class. That allows to define
1622 * additional methods:
1623 *
1624 * Measure = Data.define(:amount, :unit) do
1625 * def <=>(other)
1626 * return unless other.is_a?(self.class) && other.unit == unit
1627 * amount <=> other.amount
1628 * end
1629 *
1630 * include Comparable
1631 * end
1632 *
1633 * Measure[3, 'm'] < Measure[5, 'm'] #=> true
1634 * Measure[3, 'm'] < Measure[5, 'kg']
1635 * # comparison of Measure with Measure failed (ArgumentError)
1636 *
1637 * Data provides no member writers, or enumerators: it is meant
1638 * to be a storage for immutable atomic values. But note that
1639 * if some of data members is of a mutable class, Data does no additional
1640 * immutability enforcement:
1641 *
1642 * Event = Data.define(:time, :weekdays)
1643 * event = Event.new('18:00', %w[Tue Wed Fri])
1644 * #=> #<data Event time="18:00", weekdays=["Tue", "Wed", "Fri"]>
1645 *
1646 * # There is no #time= or #weekdays= accessors, but changes are
1647 * # still possible:
1648 * event.weekdays << 'Sat'
1649 * event
1650 * #=> #<data Event time="18:00", weekdays=["Tue", "Wed", "Fri", "Sat"]>
1651 *
1652 * See also Struct, which is a similar concept, but has more
1653 * container-alike API, allowing to change contents of the object
1654 * and enumerate it.
1655 */
1656
1657/*
1658 * call-seq:
1659 * define(*symbols) -> class
1660 *
1661 * Defines a new \Data class.
1662 *
1663 * measure = Data.define(:amount, :unit)
1664 * #=> #<Class:0x00007f70c6868498>
1665 * measure.new(1, 'km')
1666 * #=> #<data amount=1, unit="km">
1667 *
1668 * # It you store the new class in the constant, it will
1669 * # affect #inspect and will be more natural to use:
1670 * Measure = Data.define(:amount, :unit)
1671 * #=> Measure
1672 * Measure.new(1, 'km')
1673 * #=> #<data Measure amount=1, unit="km">
1674 *
1675 *
1676 * Note that member-less \Data is acceptable and might be a useful technique
1677 * for defining several homogeneous data classes, like
1678 *
1679 * class HTTPFetcher
1680 * Response = Data.define(:body)
1681 * NotFound = Data.define
1682 * # ... implementation
1683 * end
1684 *
1685 * Now, different kinds of responses from +HTTPFetcher+ would have consistent
1686 * representation:
1687 *
1688 * #<data HTTPFetcher::Response body="<html...">
1689 * #<data HTTPFetcher::NotFound>
1690 *
1691 * And are convenient to use in pattern matching:
1692 *
1693 * case fetcher.get(url)
1694 * in HTTPFetcher::Response(body)
1695 * # process body variable
1696 * in HTTPFetcher::NotFound
1697 * # handle not found case
1698 * end
1699 */
1700
1701static VALUE
1702rb_data_s_def(int argc, VALUE *argv, VALUE klass)
1703{
1704 VALUE rest;
1705 long i;
1706 VALUE data_class;
1707
1708 rest = rb_ident_hash_new();
1709 RBASIC_CLEAR_CLASS(rest);
1710 for (i=0; i<argc; i++) {
1711 VALUE mem = rb_to_symbol(argv[i]);
1712 if (rb_is_attrset_sym(mem)) {
1713 rb_raise(rb_eArgError, "invalid data member: %"PRIsVALUE, mem);
1714 }
1715 if (RTEST(rb_hash_has_key(rest, mem))) {
1716 rb_raise(rb_eArgError, "duplicate member: %"PRIsVALUE, mem);
1717 }
1718 rb_hash_aset(rest, mem, Qtrue);
1719 }
1720 rest = rb_hash_keys(rest);
1721 RBASIC_CLEAR_CLASS(rest);
1722 OBJ_FREEZE(rest);
1723 data_class = anonymous_struct(klass);
1724 setup_data(data_class, rest);
1725 if (rb_block_given_p()) {
1726 rb_mod_module_eval(0, 0, data_class);
1727 }
1728
1729 return data_class;
1730}
1731
1732VALUE
1734{
1735 va_list ar;
1736 VALUE ary;
1737 va_start(ar, super);
1738 ary = struct_make_members_list(ar);
1739 va_end(ar);
1740 if (!super) super = rb_cData;
1741 VALUE klass = setup_data(anonymous_struct(super), ary);
1742 rb_vm_register_global_object(klass);
1743 return klass;
1744}
1745
1746static int
1747data_hash_set_i(VALUE key, VALUE val, VALUE arg)
1748{
1749 struct struct_hash_set_arg *args = (struct struct_hash_set_arg *)arg;
1750 int i = struct_hash_aset(key, val, args, true);
1751 if (i >= 0 && args->missing_count > 0) {
1752 VALUE k = RARRAY_AREF(args->missing_keywords, i);
1753 if (!NIL_P(k)) {
1754 RARRAY_ASET(args->missing_keywords, i, Qnil);
1755 args->missing_count--;
1756 }
1757 }
1758 return ST_CONTINUE;
1759}
1760
1761/*
1762 * call-seq:
1763 * DataClass::members -> array_of_symbols
1764 *
1765 * Returns an array of member names of the data class:
1766 *
1767 * Measure = Data.define(:amount, :unit)
1768 * Measure.members # => [:amount, :unit]
1769 *
1770 */
1771
1772#define rb_data_s_members_m rb_struct_s_members_m
1773
1774
1775/*
1776 * call-seq:
1777 * new(*args) -> instance
1778 * new(**kwargs) -> instance
1779 * ::[](*args) -> instance
1780 * ::[](**kwargs) -> instance
1781 *
1782 * Constructors for classes defined with ::define accept both positional and
1783 * keyword arguments.
1784 *
1785 * Measure = Data.define(:amount, :unit)
1786 *
1787 * Measure.new(1, 'km')
1788 * #=> #<data Measure amount=1, unit="km">
1789 * Measure.new(amount: 1, unit: 'km')
1790 * #=> #<data Measure amount=1, unit="km">
1791 *
1792 * # Alternative shorter initialization with []
1793 * Measure[1, 'km']
1794 * #=> #<data Measure amount=1, unit="km">
1795 * Measure[amount: 1, unit: 'km']
1796 * #=> #<data Measure amount=1, unit="km">
1797 *
1798 * All arguments are mandatory (unlike Struct), and converted to keyword arguments:
1799 *
1800 * Measure.new(amount: 1)
1801 * # in `initialize': missing keyword: :unit (ArgumentError)
1802 *
1803 * Measure.new(1)
1804 * # in `initialize': missing keyword: :unit (ArgumentError)
1805 *
1806 * Note that <tt>Measure#initialize</tt> always receives keyword arguments, and that
1807 * mandatory arguments are checked in +initialize+, not in +new+. This can be
1808 * important for redefining initialize in order to convert arguments or provide
1809 * defaults:
1810 *
1811 * Measure = Data.define(:amount, :unit)
1812 * class Measure
1813 * NONE = Data.define
1814 *
1815 * def initialize(amount:, unit: NONE.new)
1816 * super(amount: Float(amount), unit:)
1817 * end
1818 * end
1819 *
1820 * Measure.new('10', 'km') # => #<data Measure amount=10.0, unit="km">
1821 * Measure.new(10_000) # => #<data Measure amount=10000.0, unit=#<data Measure::NONE>>
1822 *
1823 */
1824
1825static VALUE
1826rb_data_initialize_m(int argc, const VALUE *argv, VALUE self)
1827{
1828 VALUE klass = rb_obj_class(self);
1829 rb_struct_modify(self);
1830 VALUE members = struct_ivar_get(klass, id_members);
1831 size_t num_members = RARRAY_LEN(members);
1832
1833 if (argc == 0) {
1834 if (num_members > 0) {
1835 rb_exc_raise(rb_keyword_error_new("missing", members));
1836 }
1837 OBJ_FREEZE(self);
1838 return Qnil;
1839 }
1840 if (argc > 1 || !RB_TYPE_P(argv[0], T_HASH)) {
1841 rb_error_arity(argc, 0, 0);
1842 }
1843
1844 VALUE missing = rb_ary_dup(members);
1845 RBASIC_CLEAR_CLASS(missing);
1846 struct struct_hash_set_arg arg = {
1847 .self = self,
1848 .unknown_keywords = Qnil,
1849 .missing_keywords = missing,
1850 .missing_count = (long)num_members,
1851 };
1852 rb_mem_clear((VALUE *)RSTRUCT_CONST_PTR(self), num_members);
1853 rb_hash_foreach(argv[0], data_hash_set_i, (VALUE)&arg);
1854 // Freeze early before potentially raising, so that we don't leave an
1855 // unfrozen copy on the heap, which could get exposed via ObjectSpace.
1856 OBJ_FREEZE(self);
1857 if (UNLIKELY(arg.missing_count > 0)) {
1858 rb_ary_compact_bang(missing);
1859 RUBY_ASSERT(RARRAY_LEN(missing) == arg.missing_count, "missing_count=%ld but %ld", arg.missing_count, RARRAY_LEN(missing));
1860 RBASIC_SET_CLASS_RAW(missing, rb_cArray);
1861 rb_exc_raise(rb_keyword_error_new("missing", missing));
1862 }
1863 VALUE unknown_keywords = arg.unknown_keywords;
1864 if (UNLIKELY(!NIL_P(unknown_keywords))) {
1865 RBASIC_SET_CLASS_RAW(unknown_keywords, rb_cArray);
1866 rb_exc_raise(rb_keyword_error_new("unknown", unknown_keywords));
1867 }
1868
1869 return Qnil;
1870}
1871
1872/* :nodoc: */
1873static VALUE
1874rb_data_init_copy(VALUE copy, VALUE s)
1875{
1876 copy = rb_struct_init_copy(copy, s);
1877 RB_OBJ_FREEZE(copy);
1878 return copy;
1879}
1880
1881/*
1882 * call-seq:
1883 * with(**kwargs) -> instance
1884 *
1885 * Returns a shallow copy of +self+ --- the instance variables of
1886 * +self+ are copied, but not the objects they reference.
1887 *
1888 * If the method is supplied any keyword arguments, the copy will
1889 * be created with the respective field values updated to use the
1890 * supplied keyword argument values. Note that it is an error to
1891 * supply a keyword that the Data class does not have as a member.
1892 *
1893 * Point = Data.define(:x, :y)
1894 *
1895 * origin = Point.new(x: 0, y: 0)
1896 *
1897 * up = origin.with(x: 1)
1898 * right = origin.with(y: 1)
1899 * up_and_right = up.with(y: 1)
1900 *
1901 * p origin # #<data Point x=0, y=0>
1902 * p up # #<data Point x=1, y=0>
1903 * p right # #<data Point x=0, y=1>
1904 * p up_and_right # #<data Point x=1, y=1>
1905 *
1906 * out = origin.with(z: 1) # ArgumentError: unknown keyword: :z
1907 * some_point = origin.with(1, 2) # ArgumentError: expected keyword arguments, got positional arguments
1908 *
1909 */
1910
1911static VALUE
1912rb_data_with(int argc, const VALUE *argv, VALUE self)
1913{
1914 VALUE kwargs;
1915 rb_scan_args(argc, argv, "0:", &kwargs);
1916 if (NIL_P(kwargs)) {
1917 return self;
1918 }
1919
1920 VALUE h = rb_struct_to_h(self);
1921 rb_hash_update_by(h, kwargs, 0);
1922 return rb_class_new_instance_kw(1, &h, rb_obj_class(self), TRUE);
1923}
1924
1925/*
1926 * call-seq:
1927 * inspect -> string
1928 * to_s -> string
1929 *
1930 * Returns a string representation of +self+:
1931 *
1932 * Measure = Data.define(:amount, :unit)
1933 *
1934 * distance = Measure[10, 'km']
1935 *
1936 * p distance # uses #inspect underneath
1937 * #<data Measure amount=10, unit="km">
1938 *
1939 * puts distance # uses #to_s underneath, same representation
1940 * #<data Measure amount=10, unit="km">
1941 *
1942 */
1943
1944static VALUE
1945rb_data_inspect(VALUE s)
1946{
1947 return rb_exec_recursive(inspect_struct, s, rb_str_new2("#<data"));
1948}
1949
1950/*
1951 * call-seq:
1952 * self == other -> true or false
1953 *
1954 * Returns whether +other+ is the same class as +self+, and all members are
1955 * equal.
1956 *
1957 * Examples:
1958 *
1959 * Measure = Data.define(:amount, :unit)
1960 *
1961 * Measure[1, 'km'] == Measure[1, 'km'] #=> true
1962 * Measure[1, 'km'] == Measure[2, 'km'] #=> false
1963 * Measure[1, 'km'] == Measure[1, 'm'] #=> false
1964 *
1965 * Measurement = Data.define(:amount, :unit)
1966 * # Even though Measurement and Measure have the same "shape"
1967 * # their instances are never equal
1968 * Measure[1, 'km'] == Measurement[1, 'km'] #=> false
1969 */
1970
1971#define rb_data_equal rb_struct_equal
1972
1973/*
1974 * call-seq:
1975 * self.eql?(other) -> true or false
1976 *
1977 * Equality check that is used when two items of data are keys of a Hash.
1978 *
1979 * The subtle difference with #== is that members are also compared with their
1980 * #eql? method, which might be important in some cases:
1981 *
1982 * Measure = Data.define(:amount, :unit)
1983 *
1984 * Measure[1, 'km'] == Measure[1.0, 'km'] #=> true, they are equal as values
1985 * # ...but...
1986 * Measure[1, 'km'].eql? Measure[1.0, 'km'] #=> false, they represent different hash keys
1987 *
1988 * See also Object#eql? for further explanations of the method usage.
1989 */
1990
1991#define rb_data_eql rb_struct_eql
1992
1993/*
1994 * call-seq:
1995 * hash -> integer
1996 *
1997 * Redefines Object#hash (used to distinguish objects as Hash keys) so that
1998 * data objects of the same class with same content would have the same +hash+
1999 * value, and represented the same Hash key.
2000 *
2001 * Measure = Data.define(:amount, :unit)
2002 *
2003 * Measure[1, 'km'].hash == Measure[1, 'km'].hash #=> true
2004 * Measure[1, 'km'].hash == Measure[10, 'km'].hash #=> false
2005 * Measure[1, 'km'].hash == Measure[1, 'm'].hash #=> false
2006 * Measure[1, 'km'].hash == Measure[1.0, 'km'].hash #=> false
2007 *
2008 * # Structurally similar data class, but shouldn't be considered
2009 * # the same hash key
2010 * Measurement = Data.define(:amount, :unit)
2011 *
2012 * Measure[1, 'km'].hash == Measurement[1, 'km'].hash #=> false
2013 */
2014
2015#define rb_data_hash rb_struct_hash
2016
2017/*
2018 * call-seq:
2019 * to_h -> hash
2020 * to_h {|name, value| ... } -> hash
2021 *
2022 * Returns Hash representation of the data object.
2023 *
2024 * Measure = Data.define(:amount, :unit)
2025 * distance = Measure[10, 'km']
2026 *
2027 * distance.to_h
2028 * #=> {amount: 10, unit: "km"}
2029 *
2030 * Like Enumerable#to_h, if the block is provided, it is expected to
2031 * produce key-value pairs to construct a hash:
2032 *
2033 *
2034 * distance.to_h { |name, val| [name.to_s, val.to_s] }
2035 * #=> {"amount"=>"10", "unit"=>"km"}
2036 *
2037 * Note that there is a useful symmetry between #to_h and #initialize:
2038 *
2039 * distance2 = Measure.new(**distance.to_h)
2040 * #=> #<data Measure amount=10, unit="km">
2041 * distance2 == distance
2042 * #=> true
2043 */
2044
2045#define rb_data_to_h rb_struct_to_h
2046
2047/*
2048 * call-seq:
2049 * members -> array_of_symbols
2050 *
2051 * Returns the member names from +self+ as an array:
2052 *
2053 * Measure = Data.define(:amount, :unit)
2054 * distance = Measure[10, 'km']
2055 *
2056 * distance.members #=> [:amount, :unit]
2057 *
2058 */
2059
2060#define rb_data_members_m rb_struct_members_m
2061
2062/*
2063 * call-seq:
2064 * deconstruct -> array
2065 *
2066 * Returns the values in +self+ as an array, to use in pattern matching:
2067 *
2068 * Measure = Data.define(:amount, :unit)
2069 *
2070 * distance = Measure[10, 'km']
2071 * distance.deconstruct #=> [10, "km"]
2072 *
2073 * # usage
2074 * case distance
2075 * in n, 'km' # calls #deconstruct underneath
2076 * puts "It is #{n} kilometers away"
2077 * else
2078 * puts "Don't know how to handle it"
2079 * end
2080 * # prints "It is 10 kilometers away"
2081 *
2082 * Or, with checking the class, too:
2083 *
2084 * case distance
2085 * in Measure(n, 'km')
2086 * puts "It is #{n} kilometers away"
2087 * # ...
2088 * end
2089 */
2090
2091#define rb_data_deconstruct rb_struct_to_a
2092
2093/*
2094 * call-seq:
2095 * deconstruct_keys(array_of_names_or_nil) -> hash
2096 *
2097 * Returns a hash of the name/value pairs, to use in pattern matching.
2098 *
2099 * Measure = Data.define(:amount, :unit)
2100 *
2101 * distance = Measure[10, 'km']
2102 * distance.deconstruct_keys(nil) #=> {amount: 10, unit: "km"}
2103 * distance.deconstruct_keys([:amount]) #=> {amount: 10}
2104 *
2105 * # usage
2106 * case distance
2107 * in amount:, unit: 'km' # calls #deconstruct_keys underneath
2108 * puts "It is #{amount} kilometers away"
2109 * else
2110 * puts "Don't know how to handle it"
2111 * end
2112 * # prints "It is 10 kilometers away"
2113 *
2114 * Or, with checking the class, too:
2115 *
2116 * case distance
2117 * in Measure(amount:, unit: 'km')
2118 * puts "It is #{amount} kilometers away"
2119 * # ...
2120 * end
2121 */
2122
2123static VALUE
2124rb_data_deconstruct_keys(VALUE s, VALUE keys)
2125{
2126 return deconstruct_keys(s, keys, true);
2127}
2128
2129/*
2130 * Document-class: Struct
2131 *
2132 * Class \Struct provides a convenient way to create a simple class
2133 * that can store and fetch values.
2134 *
2135 * This example creates a subclass of +Struct+, <tt>Struct::Customer</tt>;
2136 * the first argument, a string, is the name of the subclass;
2137 * the other arguments, symbols, determine the _members_ of the new subclass.
2138 *
2139 * Customer = Struct.new('Customer', :name, :address, :zip)
2140 * Customer.name # => "Struct::Customer"
2141 * Customer.class # => Class
2142 * Customer.superclass # => Struct
2143 *
2144 * Corresponding to each member are two methods, a writer and a reader,
2145 * that store and fetch values:
2146 *
2147 * methods = Customer.instance_methods false
2148 * methods # => [:zip, :address=, :zip=, :address, :name, :name=]
2149 *
2150 * An instance of the subclass may be created,
2151 * and its members assigned values, via method <tt>::new</tt>:
2152 *
2153 * joe = Customer.new("Joe Smith", "123 Maple, Anytown NC", 12345)
2154 * joe # => #<struct Struct::Customer name="Joe Smith", address="123 Maple, Anytown NC", zip=12345>
2155 *
2156 * The member values may be managed thus:
2157 *
2158 * joe.name # => "Joe Smith"
2159 * joe.name = 'Joseph Smith'
2160 * joe.name # => "Joseph Smith"
2161 *
2162 * And thus; note that member name may be expressed as either a string or a symbol:
2163 *
2164 * joe[:name] # => "Joseph Smith"
2165 * joe[:name] = 'Joseph Smith, Jr.'
2166 * joe['name'] # => "Joseph Smith, Jr."
2167 *
2168 * See Struct::new.
2169 *
2170 * == What's Here
2171 *
2172 * First, what's elsewhere. Class \Struct:
2173 *
2174 * - Inherits from {class Object}[rdoc-ref:Object@Whats+Here].
2175 * - Includes {module Enumerable}[rdoc-ref:Enumerable@Whats+Here],
2176 * which provides dozens of additional methods.
2177 *
2178 * See also Data, which is a somewhat similar, but stricter concept for defining immutable
2179 * value objects.
2180 *
2181 * Here, class \Struct provides methods that are useful for:
2182 *
2183 * - {Creating a Struct Subclass}[rdoc-ref:Struct@Methods+for+Creating+a+Struct+Subclass]
2184 * - {Querying}[rdoc-ref:Struct@Methods+for+Querying]
2185 * - {Comparing}[rdoc-ref:Struct@Methods+for+Comparing]
2186 * - {Fetching}[rdoc-ref:Struct@Methods+for+Fetching]
2187 * - {Assigning}[rdoc-ref:Struct@Methods+for+Assigning]
2188 * - {Iterating}[rdoc-ref:Struct@Methods+for+Iterating]
2189 * - {Converting}[rdoc-ref:Struct@Methods+for+Converting]
2190 *
2191 * === Methods for Creating a Struct Subclass
2192 *
2193 * - ::new: Returns a new subclass of \Struct.
2194 *
2195 * === Methods for Querying
2196 *
2197 * - #hash: Returns the integer hash code.
2198 * - #size (aliased as #length): Returns the number of members.
2199 *
2200 * === Methods for Comparing
2201 *
2202 * - #==: Returns whether a given object is equal to +self+, using <tt>==</tt>
2203 * to compare member values.
2204 * - #eql?: Returns whether a given object is equal to +self+,
2205 * using <tt>eql?</tt> to compare member values.
2206 *
2207 * === Methods for Fetching
2208 *
2209 * - #[]: Returns the value associated with a given member name.
2210 * - #to_a (aliased as #values, #deconstruct): Returns the member values in +self+ as an array.
2211 * - #deconstruct_keys: Returns a hash of the name/value pairs
2212 * for given member names.
2213 * - #dig: Returns the object in nested objects that is specified
2214 * by a given member name and additional arguments.
2215 * - #members: Returns an array of the member names.
2216 * - #select (aliased as #filter): Returns an array of member values from +self+,
2217 * as selected by the given block.
2218 * - #values_at: Returns an array containing values for given member names.
2219 *
2220 * === Methods for Assigning
2221 *
2222 * - #[]=: Assigns a given value to a given member name.
2223 *
2224 * === Methods for Iterating
2225 *
2226 * - #each: Calls a given block with each member name.
2227 * - #each_pair: Calls a given block with each member name/value pair.
2228 *
2229 * === Methods for Converting
2230 *
2231 * - #inspect (aliased as #to_s): Returns a string representation of +self+.
2232 * - #to_h: Returns a hash of the member name/value pairs in +self+.
2233 *
2234 */
2235void
2236InitVM_Struct(void)
2237{
2238 rb_cStruct = rb_define_class("Struct", rb_cObject);
2240
2242 rb_define_singleton_method(rb_cStruct, "new", rb_struct_s_def, -1);
2243#if 0 /* for RDoc */
2244 rb_define_singleton_method(rb_cStruct, "keyword_init?", rb_struct_s_keyword_init_p, 0);
2245 rb_define_singleton_method(rb_cStruct, "members", rb_struct_s_members_m, 0);
2246#endif
2247
2248 rb_define_method(rb_cStruct, "initialize", rb_struct_initialize_m, -1);
2249 rb_define_method(rb_cStruct, "initialize_copy", rb_struct_init_copy, 1);
2250
2251 rb_define_method(rb_cStruct, "==", rb_struct_equal, 1);
2252 rb_define_method(rb_cStruct, "eql?", rb_struct_eql, 1);
2253 rb_define_method(rb_cStruct, "hash", rb_struct_hash, 0);
2254
2255 rb_define_method(rb_cStruct, "inspect", rb_struct_inspect, 0);
2256 rb_define_alias(rb_cStruct, "to_s", "inspect");
2257 rb_define_method(rb_cStruct, "to_a", rb_struct_to_a, 0);
2258 rb_define_method(rb_cStruct, "to_h", rb_struct_to_h, 0);
2259 rb_define_method(rb_cStruct, "values", rb_struct_to_a, 0);
2260 rb_define_method(rb_cStruct, "size", rb_struct_size, 0);
2261 rb_define_method(rb_cStruct, "length", rb_struct_size, 0);
2262
2263 rb_define_method(rb_cStruct, "each", rb_struct_each, 0);
2264 rb_define_method(rb_cStruct, "each_pair", rb_struct_each_pair, 0);
2265 rb_define_method(rb_cStruct, "[]", rb_struct_aref, 1);
2266 rb_define_method(rb_cStruct, "[]=", rb_struct_aset, 2);
2267 rb_define_method(rb_cStruct, "select", rb_struct_select, -1);
2268 rb_define_method(rb_cStruct, "filter", rb_struct_select, -1);
2269 rb_define_method(rb_cStruct, "values_at", rb_struct_values_at, -1);
2270
2271 rb_define_method(rb_cStruct, "members", rb_struct_members_m, 0);
2272 rb_define_method(rb_cStruct, "dig", rb_struct_dig, -1);
2273
2274 rb_define_method(rb_cStruct, "deconstruct", rb_struct_to_a, 0);
2275 rb_define_method(rb_cStruct, "deconstruct_keys", rb_struct_deconstruct_keys, 1);
2276
2277 rb_cData = rb_define_class("Data", rb_cObject);
2278
2279 rb_undef_method(CLASS_OF(rb_cData), "new");
2280 rb_undef_alloc_func(rb_cData);
2281 rb_define_singleton_method(rb_cData, "define", rb_data_s_def, -1);
2282
2283#if 0 /* for RDoc */
2284 rb_define_singleton_method(rb_cData, "members", rb_data_s_members_m, 0);
2285#endif
2286
2287 rb_define_method(rb_cData, "initialize", rb_data_initialize_m, -1);
2288 rb_define_method(rb_cData, "initialize_copy", rb_data_init_copy, 1);
2289
2290 rb_define_method(rb_cData, "==", rb_data_equal, 1);
2291 rb_define_method(rb_cData, "eql?", rb_data_eql, 1);
2292 rb_define_method(rb_cData, "hash", rb_data_hash, 0);
2293
2294 rb_define_method(rb_cData, "inspect", rb_data_inspect, 0);
2295 rb_define_alias(rb_cData, "to_s", "inspect");
2296 rb_define_method(rb_cData, "to_h", rb_data_to_h, 0);
2297
2298 rb_define_method(rb_cData, "members", rb_data_members_m, 0);
2299
2300 rb_define_method(rb_cData, "deconstruct", rb_data_deconstruct, 0);
2301 rb_define_method(rb_cData, "deconstruct_keys", rb_data_deconstruct_keys, 1);
2302
2303 rb_define_method(rb_cData, "with", rb_data_with, -1);
2304}
2305
2306#undef rb_intern
2307void
2308Init_Struct(void)
2309{
2310 id_members = rb_intern("__members__");
2311 id_back_members = rb_intern("__members_back__");
2312 id_keyword_init = rb_intern("__keyword_init__");
2313
2314 InitVM(Struct);
2315}
#define RUBY_ASSERT(...)
Asserts that the given expression is truthy if and only if RUBY_DEBUG is truthy.
Definition assert.h:219
#define rb_define_method(klass, mid, func, arity)
Defines klass#mid.
#define rb_define_singleton_method(klass, mid, func, arity)
Defines klass.mid.
#define RB_OBJ_FREEZE
Just another name of rb_obj_freeze_inline.
Definition fl_type.h:91
void rb_include_module(VALUE klass, VALUE module)
Includes a module to a class.
Definition class.c:1609
VALUE rb_class_new(VALUE super)
Creates a new, anonymous class.
Definition class.c:790
VALUE rb_singleton_class(VALUE obj)
Finds or creates the singleton class of the passed object.
Definition class.c:2870
VALUE rb_define_class_id_under(VALUE outer, ID id, VALUE super)
Identical to rb_define_class_under(), except it takes the name in ID instead of C's string.
Definition class.c:1477
VALUE rb_class_inherited(VALUE super, VALUE klass)
Calls Class::inherited.
Definition class.c:1401
void rb_define_alias(VALUE klass, const char *name1, const char *name2)
Defines an alias of a method.
Definition class.c:2913
void rb_undef_method(VALUE klass, const char *name)
Defines an undef of a method.
Definition class.c:2723
int rb_scan_args(int argc, const VALUE *argv, const char *fmt,...)
Retrieves argument from argc and argv to given VALUE references according to the format string.
Definition class.c:3203
int rb_keyword_given_p(void)
Determines if the current method is given a keyword argument.
Definition eval.c:1046
int rb_block_given_p(void)
Determines if the current method is given a block.
Definition eval.c:1033
int rb_get_kwargs(VALUE keyword_hash, const ID *table, int required, int optional, VALUE *values)
Keyword argument deconstructor.
Definition class.c:2992
#define rb_str_new2
Old name of rb_str_new_cstr.
Definition string.h:1676
#define OBJ_INIT_COPY(obj, orig)
Old name of RB_OBJ_INIT_COPY.
Definition object.h:41
#define T_STRING
Old name of RUBY_T_STRING.
Definition value_type.h:78
#define INT2FIX
Old name of RB_INT2FIX.
Definition long.h:48
#define OBJ_FROZEN
Old name of RB_OBJ_FROZEN.
Definition fl_type.h:133
#define rb_str_cat2
Old name of rb_str_cat_cstr.
Definition string.h:1684
#define ID2SYM
Old name of RB_ID2SYM.
Definition symbol.h:44
#define T_STRUCT
Old name of RUBY_T_STRUCT.
Definition value_type.h:79
#define OBJ_FREEZE
Old name of RB_OBJ_FREEZE.
Definition fl_type.h:131
#define UNREACHABLE_RETURN
Old name of RBIMPL_UNREACHABLE_RETURN.
Definition assume.h:29
#define SYM2ID
Old name of RB_SYM2ID.
Definition symbol.h:45
#define FIX2UINT
Old name of RB_FIX2UINT.
Definition int.h:42
#define CLASS_OF
Old name of rb_class_of.
Definition globals.h:205
#define rb_ary_new4
Old name of rb_ary_new_from_values.
Definition array.h:659
#define LONG2FIX
Old name of RB_INT2FIX.
Definition long.h:49
#define FIX2INT
Old name of RB_FIX2INT.
Definition int.h:41
#define T_HASH
Old name of RUBY_T_HASH.
Definition value_type.h:65
#define ALLOC_N
Old name of RB_ALLOC_N.
Definition memory.h:399
#define LONG2NUM
Old name of RB_LONG2NUM.
Definition long.h:50
#define Qtrue
Old name of RUBY_Qtrue.
#define ST2FIX
Old name of RB_ST2FIX.
Definition st_data_t.h:33
#define Qnil
Old name of RUBY_Qnil.
#define Qfalse
Old name of RUBY_Qfalse.
#define T_ARRAY
Old name of RUBY_T_ARRAY.
Definition value_type.h:56
#define NIL_P
Old name of RB_NIL_P.
#define T_CLASS
Old name of RUBY_T_CLASS.
Definition value_type.h:58
#define NUM2LONG
Old name of RB_NUM2LONG.
Definition long.h:51
#define FIXNUM_P
Old name of RB_FIXNUM_P.
#define SYMBOL_P
Old name of RB_SYMBOL_P.
Definition value_type.h:88
void rb_exc_raise(VALUE mesg)
Raises an exception in the current thread.
Definition eval.c:676
VALUE rb_eTypeError
TypeError exception.
Definition error.c:1431
void rb_warn(const char *fmt,...)
Identical to rb_warning(), except it reports unless $VERBOSE is nil.
Definition error.c:468
VALUE rb_eIndexError
IndexError exception.
Definition error.c:1433
VALUE rb_class_superclass(VALUE klass)
Queries the parent of the given class.
Definition object.c:2306
VALUE rb_cArray
Array class.
VALUE rb_cObject
Object class.
Definition object.c:60
VALUE rb_class_new_instance(int argc, const VALUE *argv, VALUE klass)
Allocates, then initialises an instance of the given class.
Definition object.c:2291
VALUE rb_class_new_instance_kw(int argc, const VALUE *argv, VALUE klass, int kw_splat)
Identical to rb_class_new_instance(), except you can specify how to handle the last element of the gi...
Definition object.c:2279
VALUE rb_mEnumerable
Enumerable module.
Definition enum.c:27
VALUE rb_cStruct
Struct class.
Definition struct.c:33
VALUE rb_class_new_instance_pass_kw(int argc, const VALUE *argv, VALUE klass)
Identical to rb_class_new_instance(), except it passes the passed keywords if any to the #initialize ...
Definition object.c:2268
int rb_eql(VALUE lhs, VALUE rhs)
Checks for equality of the passed objects, in terms of Object#eql?.
Definition object.c:153
VALUE rb_obj_class(VALUE obj)
Queries the class of an object.
Definition object.c:234
VALUE rb_inspect(VALUE obj)
Generates a human-readable textual representation of the given object.
Definition object.c:668
VALUE rb_equal(VALUE lhs, VALUE rhs)
This function is an optimised version of calling #==.
Definition object.c:140
VALUE rb_obj_is_kind_of(VALUE obj, VALUE klass)
Queries if the given object is an instance (of possibly descendants) of the given class.
Definition object.c:905
Defines RBIMPL_HAS_BUILTIN.
VALUE rb_ary_dup(VALUE ary)
Duplicates an array.
VALUE rb_get_values_at(VALUE obj, long olen, int argc, const VALUE *argv, VALUE(*func)(VALUE obj, long oidx))
This was a generalisation of Array#values_at, Struct#values_at, and MatchData#values_at.
VALUE rb_ary_new(void)
Allocates a new, empty array.
VALUE rb_ary_hidden_new(long capa)
Allocates a hidden (no class) empty array.
VALUE rb_ary_push(VALUE ary, VALUE elem)
Special case of rb_ary_cat() that it adds only one element.
VALUE rb_ary_entry(VALUE ary, long off)
Queries an element of an array.
VALUE rb_assoc_new(VALUE car, VALUE cdr)
Identical to rb_ary_new_from_values(), except it expects exactly two parameters.
void rb_mem_clear(VALUE *buf, long len)
Fills the memory region with a series of RUBY_Qnil.
VALUE rb_ary_join(VALUE ary, VALUE sep)
Recursively stringises the elements of the passed array, flattens that result, then joins the sequenc...
void rb_ary_store(VALUE ary, long key, VALUE val)
Destructively stores the passed value to the passed array's passed index.
#define RETURN_SIZED_ENUMERATOR(obj, argc, argv, size_fn)
This roughly resembles return enum_for(__callee__) unless block_given?.
Definition enumerator.h:208
#define UNLIMITED_ARGUMENTS
This macro is used in conjunction with rb_check_arity().
Definition error.h:35
static int rb_check_arity(int argc, int min, int max)
Ensures that the passed integer is in the passed range.
Definition error.h:284
int rb_is_const_id(ID id)
Classifies the given ID, then sees if it is a constant.
Definition symbol.c:1234
int rb_is_local_id(ID id)
Classifies the given ID, then sees if it is a local variable.
Definition symbol.c:1264
#define rb_hash_uint(h, i)
Just another name of st_hash_uint.
Definition string.h:943
#define rb_hash_end(h)
Just another name of st_hash_end.
Definition string.h:946
VALUE rb_str_append(VALUE dst, VALUE src)
Identical to rb_str_buf_append(), except it converts the right hand side before concatenating.
Definition string.c:3898
st_index_t rb_hash_start(st_index_t i)
Starts a series of hashing.
Definition random.c:1714
#define rb_str_cat_cstr(buf, str)
Identical to rb_str_cat(), except it assumes the passed pointer is a pointer to a C string.
Definition string.h:1657
VALUE rb_struct_define_without_accessor_under(VALUE outer, const char *class_name, VALUE super, rb_alloc_func_t alloc,...)
Identical to rb_struct_define_without_accessor(), except it defines the class under the specified nam...
Definition struct.c:466
VALUE rb_struct_define_under(VALUE space, const char *name,...)
Identical to rb_struct_define(), except it defines the class under the specified namespace instead of...
Definition struct.c:512
VALUE rb_struct_new(VALUE klass,...)
Creates an instance of the given struct.
Definition struct.c:869
VALUE rb_struct_initialize(VALUE self, VALUE values)
Mass-assigns a struct's fields.
Definition struct.c:813
VALUE rb_struct_define_without_accessor(const char *name, VALUE super, rb_alloc_func_t func,...)
Identical to rb_struct_define(), except it does not define accessor methods.
Definition struct.c:479
VALUE rb_struct_define(const char *name,...)
Defines a struct class.
Definition struct.c:492
VALUE rb_struct_alloc(VALUE klass, VALUE values)
Identical to rb_struct_new(), except it takes the field values as a Ruby array.
Definition struct.c:863
VALUE rb_data_define(VALUE super,...)
Defines an anonymous data class.
Definition struct.c:1733
VALUE rb_struct_alloc_noinit(VALUE klass)
Allocates an instance of the given class.
Definition struct.c:412
VALUE rb_struct_s_members(VALUE klass)
Queries the list of the names of the fields of the given struct class.
Definition struct.c:68
VALUE rb_struct_members(VALUE self)
Queries the list of the names of the fields of the class of the given struct object.
Definition struct.c:82
VALUE rb_struct_getmember(VALUE self, ID key)
Identical to rb_struct_aref(), except it takes ID instead of VALUE.
Definition struct.c:233
VALUE rb_exec_recursive(VALUE(*f)(VALUE g, VALUE h, int r), VALUE g, VALUE h)
"Recursion" API entry point.
VALUE rb_exec_recursive_paired(VALUE(*f)(VALUE g, VALUE h, int r), VALUE g, VALUE p, VALUE h)
Identical to rb_exec_recursive(), except it checks for the recursion on the ordered pair of { g,...
VALUE rb_ivar_set(VALUE obj, ID name, VALUE val)
Identical to rb_iv_set(), except it accepts the name as an ID instead of a C string.
Definition variable.c:2060
VALUE rb_mod_remove_const(VALUE space, VALUE name)
Resembles Module#remove_const.
Definition variable.c:3535
VALUE rb_class_name(VALUE obj)
Queries the name of the given object's class.
Definition variable.c:515
int rb_const_defined_at(VALUE space, ID name)
Identical to rb_const_defined(), except it doesn't look for parent classes.
Definition variable.c:3768
VALUE rb_class_path(VALUE mod)
Identical to rb_mod_name(), except it returns #<Class: ...> style inspection for anonymous modules.
Definition variable.c:395
VALUE(* rb_alloc_func_t)(VALUE klass)
This is the type of functions that ruby calls when trying to allocate an object.
Definition vm.h:219
void rb_undef_alloc_func(VALUE klass)
Deletes the allocator function of a class.
Definition vm_method.c:1809
VALUE rb_mod_module_eval(int argc, const VALUE *argv, VALUE mod)
Identical to rb_obj_instance_eval(), except it evaluates within the context of module.
Definition vm_eval.c:2479
void rb_define_alloc_func(VALUE klass, rb_alloc_func_t func)
Sets the allocator function of a class.
VALUE rb_check_symbol(volatile VALUE *namep)
Identical to rb_check_id(), except it returns an instance of rb_cSymbol instead.
Definition symbol.c:1347
VALUE rb_sym2str(VALUE symbol)
Obtain a frozen string representation of a symbol (not including the leading colon).
Definition symbol.c:1148
VALUE rb_to_symbol(VALUE name)
Identical to rb_intern_str(), except it generates a dynamic symbol if necessary.
Definition string.c:13740
ID rb_to_id(VALUE str)
Identical to rb_intern_str(), except it tries to convert the parameter object to an instance of rb_cS...
Definition string.c:13730
int off
Offset inside of ptr.
Definition io.h:5
int len
Length of the buffer.
Definition io.h:8
VALUE rb_yield_values(int n,...)
Identical to rb_yield(), except it takes variadic number of parameters and pass them to the block.
Definition vm_eval.c:1401
VALUE rb_yield(VALUE val)
Yields the block.
Definition vm_eval.c:1378
#define rb_long2int
Just another name of rb_long2int_inline.
Definition long.h:62
#define RB_GC_GUARD(v)
Prevents premature destruction of local objects.
Definition memory.h:167
void rb_hash_foreach(VALUE q, int_type *w, VALUE e)
Iteration over the given hash.
#define RARRAY_LEN
Just another name of rb_array_len.
Definition rarray.h:50
static int RARRAY_LENINT(VALUE ary)
Identical to rb_array_len(), except it differs for the return type.
Definition rarray.h:280
static void RARRAY_ASET(VALUE ary, long i, VALUE v)
Assigns an object in an array.
Definition rarray.h:385
static VALUE * RARRAY_PTR(VALUE ary)
Wild use of a C pointer.
Definition rarray.h:365
#define RARRAY_AREF(a, i)
Definition rarray.h:402
#define RARRAY_CONST_PTR
Just another name of rb_array_const_ptr.
Definition rarray.h:51
#define RBASIC(obj)
Convenient casting macro.
Definition rbasic.h:40
VALUE rb_str_to_str(VALUE obj)
Identical to rb_check_string_type(), except it raises exceptions in case of conversion failures.
Definition string.c:1816
VALUE rb_struct_aset(VALUE st, VALUE k, VALUE v)
Resembles Struct#[]=.
Definition struct.c:1289
VALUE rb_struct_size(VALUE st)
Returns the number of struct members.
Definition struct.c:1539
VALUE rb_struct_aref(VALUE st, VALUE k)
Resembles Struct#[].
Definition struct.c:1251
#define InitVM(ext)
This macro is for internal use.
Definition ruby.h:231
#define RB_PASS_KEYWORDS
Pass keywords, final argument must be a hash of keywords.
Definition scan_args.h:72
#define RTEST
This is an old name of RB_TEST.
Ruby's ordinal objects.
Definition robject.h:56
VALUE extended
When an object slot is too small or too complex to store instance variables inline,...
Definition robject.h:78
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
Definition value.h:52
uintptr_t VALUE
Type that represents a Ruby object.
Definition value.h:40
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.
Definition value_type.h:376