Project

General

Profile

Actions

Bug #14415

closed

Empty keyword hashes get assigned to ordinal args.

Added by josh.cheek (Josh Cheek) almost 7 years ago. Updated about 5 years ago.

Status:
Closed
Assignee:
-
Target version:
-
ruby -v:
ruby 2.5.0p0 (2017-12-25 revision 61468) [x86_64-darwin17]
[ruby-core:85175]

Description

Spreading empty arrays works, even when they go through a variable, or are disguised:

args = []           # => []
->{}.call *[]       # => nil
->{}.call *args     # => nil
->{}.call *([])     # => nil
->{}.call *([];)    # => nil
->{}.call *(;[])    # => nil
->{}.call *[*[]]    # => nil
->{}.call *([];[])  # => nil
->{}.call *[*args]  # => nil

Spreading empty keywords does not, when going through a variable, or sufficiently disguised:

kws = {}                       # => {}
->{}.call **{}                 # => nil
->{}.call **kws     rescue $!  # => #<ArgumentError: wrong number of arguments (given 1, expected 0)>
->{}.call **({})               # => nil
->{}.call **({};)              # => nil
->{}.call **(;{})   rescue $!  # => #<ArgumentError: wrong number of arguments (given 1, expected 0)>
->{}.call **{**{}}             # => nil
->{}.call **({};{}) rescue $!  # => #<ArgumentError: wrong number of arguments (given 1, expected 0)>
->{}.call **{**kws} rescue $!  # => #<ArgumentError: wrong number of arguments (given 1, expected 0)>

It seems that **{} gets optimized out of the code, as expected. Likely due to https://bugs.ruby-lang.org/issues/10719
But **empty_kws still gets incorrectly passed as a hash, despite an attempt to fix it in https://bugs.ruby-lang.org/issues/13717

->a{a}.call **{}  rescue $!  # => #<ArgumentError: wrong number of arguments (given 0, expected 1)>
->a{a}.call **kws            # => {}
->a{a}.call **(;{})          # => {}
(;{})                        # => {}

Further confusion, it's missing a, not b:

->a,b:{}.call **{b:1} rescue $!  # => #<ArgumentError: missing keyword: b>

Treating keywords as a special form of hash makes them very difficult to reason about.
Arrays manage to pull off destructuring and spreading with no issue, as we saw above.
I just want hashes to work like arrays with named matching instead of ordinal matching.

For each example below, try looking at the LHS and predicting what the result will be.

->a,b:,**c{[a,b,c]}.call 1, b:2                     # => [1, 2, {}]
->a,b:,**c{[a,b,c]}.call 1, b:2, 3=>4    rescue $!  # => #<ArgumentError: wrong number of arguments (given 2, expected 1; required keyword: b)>
->a,b:,**c{[a,b,c]}.call 1=>2, b:3       rescue $!  # => #<ArgumentError: missing keyword: b>
->a,b:,**c{[a,b,c]}.call 1=>2, **{b:3}   rescue $!  # => #<ArgumentError: missing keyword: b>
->a,b:,**c{[a,b,c]}.call({1=>2}, b: 3)              # => [{1=>2}, 3, {}]
->a,b:,**c{[a,b,c]}.call({1=>2}, {b: 3})            # => [{1=>2}, 3, {}]
->*a       {a      }.call 1, b:2, c:3, 4=>5         # => [1, {:b=>2, :c=>3, 4=>5}]
->*a,b:,**c{[a,b,c]}.call 1, b:2, c:3, 4=>5         # => [[1, {4=>5}], 2, {:c=>3}]

Keywords are getting in the way of beautiful hash spreading!

[*[1,2], *[:c, :d]]              # => [1, 2, :c, :d]
{**{1=>2}, **{c: :d}} rescue $!  # => #<TypeError: wrong argument type Integer (expected Symbol)>
[1,2,**{a:3}]                    # => [1, 2, {:a=>3}]
[1,2,**{}]                       # => [1, 2]
[1,2,**kws]                      # => [1, 2, {}]

Note that the latest JS's behaviour is congruent with my expected outputs:

$ node -v
  # >> v8.9.4

$ node -p '
  (({a, c, ...rest}) => [a, c, rest])
    ({a: 1, b: 2, c: 3, d: 4})
  '
  # >> [ 1, 3, { b: 2, d: 4 } ]
$ node -p '
   const a=1, b=2, e={f: 5, g: 6}
   ;({...{a, b}, ...{c: 3, d: 4}, ...e})
   '
  # >> { a: 1, b: 2, c: 3, d: 4, f: 5, g: 6 }

Related issues 1 (0 open1 closed)

Related to Ruby master - Feature #14183: "Real" keyword argumentClosedActions

Updated by josh.cheek (Josh Cheek) almost 7 years ago

Was thinking about this more, and I think I see what the problem is: ** should not be kwrest, it should be options_rest. And keyword args should be about destructuring the options hash. In the case of mixed keys in the hash, they are valid options to pass to **var, even though they cannot be destructured. Here are some examples:

# This behaves correctly: if you destructure the options hash,
# than anything not accounted for should explode
-> a='a', b:'b' { [a, b] }.call a: 2, b: 3 rescue $!
# => #<ArgumentError: unknown keyword: a>

# This should have done what the previous example did.
# Instead, it pulls `{1=>2}` out and assigns it to `a`
-> a='a', b:'b' { [a, b] }.call 1 => 2, b: 3
# => [{1=>2}, 3]

# This is the same as the previous example, but without the `{1=>2}`
# it behaves correctly.
-> a='a', b:'b' { [a, b] }.call b: 3
# => ["a", 3]

# Here, the parameters make no use of keywords, so we correctly
# treat it like a hash, from the Ruby of old.
-> a { a }.call b: 3
# => {:b=>3}

# This should be an argument error, the method receives an options hash,
# an options hash was passed, so `{b:3}` should be assigned to `b`, and
# the missing argument `a` should cause an explosion.
-> a, **b { [a, b] }.call b: 3
# => [{:b=>3}, {}]
Actions #2

Updated by jeremyevans0 (Jeremy Evans) over 5 years ago

Updated by jeremyevans0 (Jeremy Evans) about 5 years ago

With recent changes to the master branch, you now the get the following results:

kws = {}
->{}.call **kws      # => nil
->{}.call **{}       # => nil
->{}.call **({})     # => nil
->{}.call **({};)    # => nil
->{}.call **(;{})    # => nil
->{}.call **{**{}}   # => nil
->{}.call **({};{})  # => nil
->{}.call **{**kws}  # => nil

->a{a}.call **{}     rescue $!  # => #<ArgumentError: wrong number of arguments (given 0, expected 1)>
->a{a}.call **kws    rescue $!  # => #<ArgumentError: wrong number of arguments (given 0, expected 1)>
->a{a}.call **(;{})  rescue $!  # => #<ArgumentError: wrong number of arguments (given 0, expected 1)>

->a,b:{}.call **{b:1} rescue $!
# warning: The keyword argument for `call' (defined at (irb):13) is passed as the last hash parameter
# => #<ArgumentError: missing keyword: :b>

->a,b:,**c{[a,b,c]}.call 1, b:2                     # => [1, 2, {}]
->a,b:,**c{[a,b,c]}.call 1, b:2, 3=>4               # => [1, 2, {3=>4}]
->a,b:,**c{[a,b,c]}.call({1=>2}, b: 3)              # => [{1=>2}, 3, {}]

->a,b:,**c{[a,b,c]}.call 1=>2, b:3       rescue $!
# warning: The keyword argument for `call' (defined at (irb):16) is passed as the last hash parameter
# => ArgumentError (missing keyword: :b)

->a,b:,**c{[a,b,c]}.call 1=>2, **{b:3}   rescue $!
# warning: The keyword argument for `call' (defined at (irb):17) is passed as the last hash parameter
# => #<ArgumentError: missing keyword: :b>

->a,b:,**c{[a,b,c]}.call({1=>2}, {b: 3})
# warning: The last argument for `call' (defined at (irb):19) is used as the keyword parameter
# => [{1=>2}, 3, {}]

->*a       {a      }.call 1, b:2, c:3, 4=>5         # => [1, {:b=>2, :c=>3, 4=>5}]
->*a,b:,**c{[a,b,c]}.call 1, b:2, c:3, 4=>5         # => [[1], 2, {:c=>3, 4=>5}]

[*[1,2], *[:c, :d]]              # => [1, 2, :c, :d]
{**{1=>2}, **{c: :d}}            # => {1=>2, :c=>:d}
[1,2,**{a:3}]                    # => [1, 2, {:a=>3}]
[1,2,**{}]                       # => [1, 2]
[1,2,**kws]                      # => [1, 2, {}]

-> a='a', b:'b' { [a, b] }.call a: 2, b: 3 rescue $!  # => #<ArgumentError: unknown keyword: :a>

-> a='a', b:'b' { [a, b] }.call 1 => 2, b: 3
# warning: The last argument for `call' (defined at (irb):2) is split into positional and keyword parameters
# => [{1=>2}, 3]

-> a='a', b:'b' { [a, b] }.call b: 3 # => ["a", 3]

-> a { a }.call b: 3
# => {:b=>3}

-> a, **b { [a, b] }.call b: 3 rescue $!
# warning: The keyword argument for `call' (defined at (irb):5) is passed as the last hash parameter
# => [{:b=>3}, {}]

For the calls that warn, you will get the following behavior in Ruby 3:

->a,b:{}.call **{b:1} rescue $!
# => ArgumentError (wrong number of arguments (given 0, expected 1))

->a,b:,**c{[a,b,c]}.call 1=>2, b:3 rescue $!
# => ArgumentError (wrong number of arguments (given 0, expected 1))

->a,b:,**c{[a,b,c]}.call 1=>2, **{b:3}
# => ArgumentError (wrong number of arguments (given 0, expected 1))

->a,b:,**c{[a,b,c]}.call({1=>2}, {b: 3})
# => ArgumentError (wrong number of arguments (given 2, expected 1))

-> a='a', b:'b' { [a, b] }.call 1 => 2, b: 3
# ['a', {1 => 2, :b => 3}]

-> a, **b { [a, b] }.call b: 3 rescue $!
# => ArgumentError (wrong number of arguments (given 0, expected 1))

I think the only case that is questionable still is:

[**({};)]
# => []
[**(;{})] # and h = {}; [**h]
# => [{}]

The keyword argument separation changes just made to the master branch did not affect this code, since it isn't a method call. This behavior has been present since Ruby 2.2. I think it would be a good idea to make both [**({};)] and [**(;{})] return [].

Updated by Dan0042 (Daniel DeLorme) about 5 years ago

jeremyevans0 (Jeremy Evans) wrote:

The keyword argument separation changes just made to the master branch did not affect this code, since it isn't a method call. This behavior has been present since Ruby 2.2. I think it would be a good idea to make both [**({};)] and [**(;{})] return [].

Found some other interesting cases which I absolutely don't understand:

[**(1;{})]   #=> []
[**(1+0;{})] #=> [{}]

But I must admit I don't really see the benefit to all this, since it only works on hash literals and not hash variables. In what circumstance is it helpful to have a double-splatted empty hash literal in an array???

Updated by jeremyevans0 (Jeremy Evans) about 5 years ago

  • Status changed from Open to Closed

jeremyevans0 (Jeremy Evans) wrote:

I think the only case that is questionable still is:

[**({};)]
# => []
[**(;{})] # and h = {}; [**h]
# => [{}]

The keyword argument separation changes just made to the master branch did not affect this code, since it isn't a method call. This behavior has been present since Ruby 2.2. I think it would be a good idea to make both [**({};)] and [**(;{})] return [].

Recent changes to the master branch have fixed this issue. Keyword splats of empty hashes in arrays no longer add an empty hash to the array:

[**(;{})]
# => []
Actions

Also available in: Atom PDF

Like0
Like0Like0Like0Like0Like0