Project

General

Profile

Actions

Bug #18806

closed

protected methods defined by refinements can't be called

Added by jhawthorn (John Hawthorn) over 2 years ago. Updated over 2 years ago.

Status:
Closed
Target version:
-
ruby -v:
ruby 3.2.0dev
[ruby-core:108705]

Description

Hello!

The protected visibility is a bit unusual, since it depends on where the callee method is considered to be defined. I was looking into making an optimization to calling protected methods on self, and we came across some surprising behaviour. (Thanks @alanwu (Alan Wu) for finding!)

As far as I can tell, there is no way to call a method refined method is protected visibility (other than send).

class A
end

module MyRefine
  refine(A) {
    private def private_foo = :refined
    def private_foo_in_refinement = private_foo

    protected def protected_foo = :refined
    def protected_foo_in_refinement = protected_foo
  }
end

class A
  using MyRefine

  def call_private = private_foo
  def call_private_through_refinement = private_foo_in_refinement

  def call_protected = protected_foo
  def call_protected_through_refinement = protected_foo_in_refinement
  def is_defined = defined?(protected_foo)
end



A.new.call_private
# => :refined

A.new.call_private_through_refinement
# => :refined

A.new.call_protected
# => NoMethodError: protected method `protected_foo' called for #<A:0x00007f23f35e9390>

A.new.call_protected_through_refinement
# => NoMethodError: protected method `protected_foo' called for #<A:0x00007f23f35e9390>

A.new.is_defined
# "method"

I find it confusing that here protected is more restrictive than private (private methods from a refinement can be called as normal), but I'm not sure if it's a rule that it should be or just how I've always assumed it is.

It's also odd that defined? returns truthy, but I think this might actually be a bug on defined with protected methods (behaviour doesn't match that of method calls).

I think this is probably not intentional or desired behaviour. It's not useful for us to make methods which can't be called. The reason this happens I think is an implementation detail: the "defined class" of the method we're trying to call is the ICLASS including the refinement module onto the A superclass.

Possible options I see for improving this:

  1. Treat defined methods as though they were defined on the refined class. Both examples above will now work, and it is possible to call the refined method on objects other than self.

  2. Always allow "fcalls" to protected methods. Making them basically an alias for private when used in a refinement.

  3. Forbid using protected inside a refinement (and Refinement#import_methods), raising an error.

My preference would be 1. I think it would require one extra check when calling protected methods, but calling protected methods is already a slower path so I think it is fine.

Thanks for reading!

Actions

Also available in: Atom PDF

Like0
Like0Like0Like0Like0Like0Like0Like0