ruby-on-rails - attr_accessor 强类型 Rub​​y on Rails

Question

只是想知道是否有人可以从强类型的角度阐明 Ruby on Rails 中 getter setter 的基础知识。我对 ruby​​ on rails 还很陌生，主要对 .NET 有很好的理解。

例如，假设我们有一个名为 Person 的 .net 类

class Person
{
 public string Firstname{get;set;}
 public string Lastname{get;set;}
 public Address HomeAddress{get;set;}
}

class Address
{
 public string AddressLine1{get;set;}
 public string City{get;set;}
 public string Country{get;set;}
}

在 Ruby 中，我会这样写

class Person
 attr_accessor :FirstName
 attr_accessor :LastName
 attr_accessor :HomeAddress
end

class Address
 attr_accessor :AddressLine1
 attr_accessor :City
 attr_accessor :Country
end

查看 Person 类的 Ruby 版本，如何指定访问器方法 FirstName、LastName 和 HomeAddress 的类型？如果我要使用这个类，我可以将任何类型提供给 HomeAddress，但我希望这个访问器方法只接受 TYPE 地址。

有什么建议吗？

Answer 1

TL;DR:不，这是不可能的……长答案，是的，这是可能的，请阅读元编程部分:)

Ruby 是一种动态语言，这就是为什么您不会像使用 C# 等语言那样收到编译时类型警告/错误。

与不能为变量指定类型一样，您也不能为attr_accessor 指定类型。

这对来自 .NET 的您来说可能听起来很愚蠢，但在 Ruby 社区中，人们希望您编写测试。如果这样做，这些类型的问题将基本消失。在 Ruby on Rails 中，您应该测试您的模型。如果您这样做，您就不会因为不小心将某些东西分配到错误的地方而遇到任何麻烦。

如果您专门讨论 Ruby on Rails 中的 ActiveRecord，将字符串分配给在数据库中定义为整数的属性将导致抛出异常。

顺便说一下，按照惯例，你不应该对属性使用 CamelCase，所以正确的类定义应该是

class Person
 attr_accessor :first_name
 attr_accessor :last_name
 attr_accessor :home_address
end

class Address
 attr_accessor :address_line1
 attr_accessor :city
 attr_accessor :country
end

这样做的一个原因是，如果您将第一个字母大写，Ruby 将定义一个常量而不是变量。

number = 1   # regular variable
Pi = 3.14159 # constant ... changing will result in a warning, not an error

元编程技巧

顺便说一句，Ruby 还具有非常强大的元编程功能。您可以编写自己的带有类型检查的 attr_accessor，可以像这样使用

typesafe_accessor :price, Integer

定义为某事

class Foo

  # 'static', or better said 'class' method ...
  def self.typesafe_accessor(name, type)

    # here we dynamically define accessor methods
    define_method(name) do
      # unfortunately you have to add the @ here, so string interpolation comes to help
      instance_variable_get("@#{name}")
    end

    define_method("#{name}=") do |value|
      # simply check a type and raise an exception if it's not what we want
      # since this type of Ruby block is a closure, we don't have to store the 
      # 'type' variable, it will 'remember' it's value 
      if value.is_a? type
        instance_variable_set("@#{name}", value)
      else
        raise ArgumentError.new("Invalid Type")
      end
    end
  end

  # Yes we're actually calling a method here, because class definitions
  # aren't different from a 'running' code. The only difference is that
  # the code inside a class definition is executed in the context of the class object,
  # which means if we were to call 'self' here, it would return Foo
  typesafe_accessor :foo, Integer

end

f = Foo.new
f.foo = 1
f.foo = "bar" # KaboOoOoOoM an exception thrown here!

或者至少是类似的东西:) 这段代码有效!Ruby 允许你动态定义方法，这就是 attr_accessor 有效。

另外， block 几乎总是闭包，这意味着我可以执行 if value.is_a?键入而不将其作为参数传递。

在这里解释什么时候是真的什么时候不是太复杂了。简而言之，有不同类型的 block

• Proc，由Proc.new
创建
• lambda，由关键字lambda
创建

其中一个区别是，在 lambda 中调用 return 只会从 lambda 本身返回，但是当您从 Proc， block 周围的整个方法将返回，在迭代时使用，例如

def find(array, something)
  array.each do |item| 
    # return will return from the whole 'find()' function
    # we're also comparing 'item' to 'something', because the block passed
    # to the each method is also a closure
    return item if item == something
  end
  return nil # not necessary, but makes it more readable for explanation purposes
end    

如果您喜欢这类内容，我建议您查看 PragProg Ruby Metaprogramming screencast .