mirror/v
1
0
Fork 0
mirror of https://github.com/vlang/v.git synced 2023-08-10 21:13:21 +03:00
Code Issues Projects Releases Wiki Activity

checker, cgen: enable calls to methods of the parent element array, when an array element is an alias (fix #16169) (#16187)

Browse Source
This commit is contained in:
shove 2022-10-24 17:02:24 +08:00 committed by GitHub
parent f25dfa9d8c
commit 701586fa84
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
vlib/v/checker/fn.v
View File

@ -1358,7 +1358,7 @@ pub fn (mut c Checker) method_call(mut node ast.CallExpr) ast.Type {
method = m
has_method = true
} else {
if final_left_sym.kind in [.struct_, .sum_type, .interface_] {
if final_left_sym.kind in [.struct_, .sum_type, .interface_, .alias, .array] {
mut parent_type := ast.void_type
if final_left_sym.info is ast.Struct {
parent_type = final_left_sym.info.parent_type
@ -1366,7 +1366,13 @@ pub fn (mut c Checker) method_call(mut node ast.CallExpr) ast.Type {
parent_type = final_left_sym.info.parent_type
} else if final_left_sym.info is ast.Interface {
parent_type = final_left_sym.info.parent_type
} else if final_left_sym.info is ast.Alias {
parent_type = final_left_sym.info.parent_type
} else if final_left_sym.info is ast.Array {
typ := c.table.unaliased_type(final_left_sym.info.elem_type)
parent_type = ast.Type(c.table.find_or_register_array(typ))
}
if parent_type != 0 {
type_sym := c.table.sym(parent_type)
if m := c.table.find_method(type_sym, method_name) {

7
vlib/v/gen/c/fn.v
View File

@ -796,6 +796,13 @@ fn (mut g Gen) method_call(node ast.CallExpr) {
if typ_sym.kind == .alias && node.name != 'str' && !typ_sym.has_method(node.name) {
unwrapped_rec_type = (typ_sym.info as ast.Alias).parent_type
typ_sym = g.table.sym(unwrapped_rec_type)
} else if typ_sym.kind == .array && !typ_sym.has_method(node.name) {
typ := g.table.unaliased_type((typ_sym.info as ast.Array).elem_type)
typ_idx := g.table.find_type_idx(g.table.array_name(typ))
if typ_idx > 0 {
unwrapped_rec_type = ast.Type(typ_idx)
typ_sym = g.table.sym(unwrapped_rec_type)
}
}
rec_cc_type := g.cc_type(unwrapped_rec_type, false)
mut receiver_type_name := util.no_dots(rec_cc_type)

10
vlib/v/tests/aliased_array_method_call_test.v Normal file
View File

@ -0,0 +1,10 @@
fn get_bytes_array() []byte {
return [byte(97), 98, 99]
}
fn test_element_aliased_array_method_call() {
assert get_bytes_array().bytestr() == 'abc'
arr := [byte(97), 98, 99]
assert arr.bytestr() == 'abc'
}