Project

General

Profile

Actions

Feature #12334

open

Final/Readonly Support for Fields / Instance Variables

Added by wied03 (Brady Wied) over 8 years ago. Updated over 8 years ago.

Status:
Open
Assignee:
-
Target version:
-
[ruby-core:75270]

Description

This sort of relates to https://bugs.ruby-lang.org/issues/11911

C# through 'readonly' and Java through 'final' variables/fields allow me to only allow assigning a field in the initializer. It might be nice to embrace some controlled mutation by having this feature in Ruby. Sometimes its tempting in other methods to reassign a field but you really want to control that from the initializer.

Freezing targets a different problem by controlling what I can mutate within that field's object. The two can compliment each other but I see them as each solving a different problem. I know it's possible to freeze an entire instance of a class and not allow reassigning the field that way, but then I'm in an all or none situation where I can't have controlled mutation.


Related issues 1 (1 open0 closed)

Related to Ruby master - Feature #12021: Final instance variablesOpenActions

Updated by shevegen (Robert A. Heiler) over 8 years ago

What is a "field"?

Updated by wied03 (Brady Wied) over 8 years ago

  • Subject changed from Final/Readonly Support for Fields to Final/Readonly Support for Fields / Instance Variables

Sorry, I should have used correct terminology. By fields, I meant instance variables.

Updated by shyouhei (Shyouhei Urabe) over 8 years ago

  • Status changed from Open to Rejected

In ruby, instance variables are private to objects. You can never access instance variables from outside of an object, unless explicitly exported via a method.

Mutation of instance variables are already controlled: you cant.

Updated by wied03 (Brady Wied) over 8 years ago

This feature request is not about being external to the object.

I can have multiple Ruby methods in the same class besides the initialize method that all do @some_ivar = 123 or @some_ivar=456. This is about trying to guard against that (if the developer chooses).

Updated by wied03 (Brady Wied) over 8 years ago

Here is an example:

class Foo
  attr_reader :foo

  def initialize
    @foo = 123
  end

  def accidental_mutate
    @foo = 456 # Ruby doesn't give me any way to prevent this as of now
  end
end

class Foo
  attr_readonly :foo # one way, see initializer

  def initialize
    # another way
    readonly @foo = 123
  end

  def accidental_mutate
    @foo = 456 # Ruby could throw an error here and prevent me from doing this
  end
end


Updated by wied03 (Brady Wied) over 8 years ago

If the feature should be rejected, I can live with that, but I don't think we had the same idea of what I was requesting here.

Updated by shyouhei (Shyouhei Urabe) over 8 years ago

  • Status changed from Rejected to Open

OK, I see your proposal now. I'm not for it though ("you write a class and you can't control when to mutate its instance variables" rather sounds like a design issue to me).

Updated by duerst (Martin Dürst) over 8 years ago

I agree with Shyouhei. If you are afraid of changing an instance variable in one of your classes' methods, maybe just name it @final_foo to remind you that you didn't want to change it.

There are many other checks, too, that could be introduced into Ruby, but the Ruby way is to leave it to the programmer.

Updated by wied03 (Brady Wied) over 8 years ago

Maybe leaving it to the developer or design/code reviewing is the best way. I do think there is something to the idea of controlled mutation though. It's a good middle ground between what the functional language people are pushing for (total immutability everywhere) and a more wide open setup.

Updated by wied03 (Brady Wied) over 8 years ago

If the developer had to take care of all of this, we probably would not have freezing right? You could make the case that it should be up to the developer to not mutate a frozen object. I'm not sure what the exact thought process was behind implementing frozen in Ruby, but perhaps it was similar.

Updated by sawa (Tsuyoshi Sawada) over 8 years ago

It has nothing to do with freezing. Freezing is about a property of an object. What you are trying to do is about variable assignment.

I think what you want is a constant that belongs to an instance and can be defined in a method body (and further raises an error instead of warning when redefinition is attempted). But that does not make sense to me. It means that you can only call that method once. And it would bring many other impractical restrictions.

Updated by wied03 (Brady Wied) over 8 years ago

I know that it has nothing to do with freezing. I was just using that as an example of something where Ruby has decided to give the developer a tool to control mutation.

@Tsuyoshi - Yes a constant like that is sort of what I'm describing. That method though is initialize, which by definition is only called once.

Actions #13

Updated by Eregon (Benoit Daloze) over 8 years ago

Updated by dsferreira (Daniel Ferreira) over 8 years ago

I'm struggling to understand the use cases.

For instance, can't we achieve the same thing by using a private method or a constant? Why do we need to use a readonly instance variable?

Updated by wied03 (Brady Wied) over 8 years ago

Daniel: It might be easiest to go read about how readonly works in C#.

This is quite different than a constant because it can very with each instance of an object since a "readonly ivar" is set in the initializer.

Private methods are also quite different because this 'readonly concept' is not about controlling mutation from outside the class. It's about controlling it inside the class.

Actions #16

Updated by shyouhei (Shyouhei Urabe) over 8 years ago

FYI we looked at this issue at yesterday's developer meeting. I tried to support this for being a potential optimization hint, but failed because another attendee claimed we should focus to the feature as a language, not its implementation. We didn't reach any consensus whether we should accept or reject this, though.

Actions

Also available in: Atom PDF

Like0
Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0Like0