[Bug #21331] Prohibit modification during stlike loop

This commit is contained in:
Nobuyoshi Nakada 2025-05-13 22:34:18 +09:00 committed by Nobuyoshi Nakada
parent 1e2a67e1b0
commit bb180b87b4
Notes: git 2025-05-13 14:17:11 +00:00
2 changed files with 74 additions and 8 deletions

74
hash.c
View File

@ -880,7 +880,7 @@ ar_general_foreach(VALUE hash, st_foreach_check_callback_func *func, st_update_c
return 0;
case ST_REPLACE:
if (replace) {
retval = (*replace)(&key, &val, arg, TRUE);
(*replace)(&key, &val, arg, TRUE);
// TODO: pair should be same as pair before.
pair = RHASH_AR_TABLE_REF(hash, i);
@ -1404,26 +1404,84 @@ hash_foreach_ensure(VALUE hash)
return 0;
}
int
rb_hash_stlike_foreach(VALUE hash, st_foreach_callback_func *func, st_data_t arg)
struct hash_stlike_foreach_arg {
VALUE hash;
st_foreach_callback_func *func;
VALUE arg;
};
static VALUE
hash_stlike_foreach_call(VALUE args)
{
struct hash_stlike_foreach_arg *argp = (void *)args;
VALUE hash = argp->hash;
st_foreach_callback_func *func = argp->func;
VALUE arg = argp->arg;
int ret;
if (RHASH_AR_TABLE_P(hash)) {
return ar_foreach(hash, func, arg);
ret = ar_foreach(hash, func, arg);
}
else {
return st_foreach(RHASH_ST_TABLE(hash), func, arg);
ret = st_foreach(RHASH_ST_TABLE(hash), func, arg);
}
return (VALUE)ret;
}
int
rb_hash_stlike_foreach_with_replace(VALUE hash, st_foreach_check_callback_func *func, st_update_callback_func *replace, st_data_t arg)
rb_hash_stlike_foreach(VALUE hash, st_foreach_callback_func *func, st_data_t arg)
{
struct hash_stlike_foreach_arg args = {
.hash = hash,
.func = func,
.arg = arg,
};
hash_iter_lev_inc(hash);
VALUE ret = rb_ensure(hash_stlike_foreach_call, (VALUE)&args,
hash_foreach_ensure, hash);
return (int)ret;
}
struct hash_stlike_foreach_with_replace_arg {
VALUE hash;
st_foreach_check_callback_func *func;
st_update_callback_func *replace;
VALUE arg;
};
static VALUE
hash_stlike_foreach_with_replace_call(VALUE args)
{
struct hash_stlike_foreach_with_replace_arg *argp = (void *)args;
VALUE hash = argp->hash;
st_foreach_check_callback_func *func = argp->func;
st_update_callback_func *replace = argp->replace;
VALUE arg = argp->arg;
int ret;
if (RHASH_AR_TABLE_P(hash)) {
return ar_foreach_with_replace(hash, func, replace, arg);
ret = ar_foreach_with_replace(hash, func, replace, arg);
}
else {
return st_foreach_with_replace(RHASH_ST_TABLE(hash), func, replace, arg);
ret = st_foreach_with_replace(RHASH_ST_TABLE(hash), func, replace, arg);
}
return (VALUE)ret;
}
int
rb_hash_stlike_foreach_with_replace(VALUE hash, st_foreach_check_callback_func *func,
st_update_callback_func *replace, st_data_t arg)
{
struct hash_stlike_foreach_with_replace_arg args = {
.hash = hash,
.func = func,
.replace = replace,
.arg = arg,
};
hash_iter_lev_inc(hash);
VALUE ret = rb_ensure(hash_stlike_foreach_with_replace_call, (VALUE)&args,
hash_foreach_ensure, hash);
return (int)ret;
}
static VALUE

View File

@ -1853,6 +1853,14 @@ class TestHash < Test::Unit::TestCase
end
end
assert_equal(@cls[a: 2, b: 2, c: 3, d: 4, e: 5, f: 6, g: 7, h: 8, i: 9, j: 10], x)
x = (1..1337).to_h {|k| [k, k]}
assert_raise_with_message(RuntimeError, /rehash during iteration/) do
x.transform_values! {|v|
x.rehash if v == 1337
v * 2
}
end
end
def hrec h, n, &b