18

只是想知道是否有人可以从强类型的角度了解 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 地址。

有什么建议么？

4

2 回答 2

40

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

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

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

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

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

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

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工作原理。

此外，块几乎总是闭包，这意味着我可以在if value.is_a? type不将其作为参数传递的情况下执行。

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

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

区别之一是调用returnalambda只会从 lambda 本身返回，但是当你从 a 做同样的事情时Proc，块周围的整个方法将返回，它在迭代时使用，例如

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 截屏视频。

于 2011-11-02T23:13:42.783 回答
5

Ruby 是一种动态类型语言；像许多动态类型语言一样，它遵循鸭子类型——来自英语成语，“如果它像鸭子一样走路，像鸭子一样嘎嘎叫，那么它就是鸭子。”

好处是您不必在任何变量或类成员上声明类型。您可以将哪些类型的对象存储到变量或类成员中的限制仅来自您如何使用它们——如果您用于<<“写入输出”，那么您可以使用文件、数组或字符串来存储输出。这可以极大地增加课程的灵活性。（您有多少次因为必须使用的 API 需要FILE *C 标准 IO 文件指针而不是允许您传入缓冲区而感到不安？）

缺点（在我看来，这是一个很大的缺点）是您没有简单的方法来确定可以安全地将哪些数据类型存储到任何给定的变量或成员中。可能每闰年一次，对变量或成员调用一个新方法——您的程序可能NoMethodError会因 . （这是一个相当人为的例子。但极端情况是大多数编程缺陷存在的地方，动态类型使得极端情况更难被发现。）

简而言之：您可以在地址字段中存储的内容没有任何限制。如果它支持您在这些对象上调用的方法，那么就语言而言，它是一个Address. 如果它不支持您需要的方法，那么它将在足够详尽的测试期间崩溃。

只需确保充分利用测试工具，以确保您充分执行代码以找到任何不完全符合所需 API 的对象。

于 2011-11-02T23:16:37.490 回答