iOS判断对象相等 重写isEqual、isEqualToClass、hash

相等的概念是探究哲学和数学的核心,并且对道德、公正和公共政策的问题有着深远的影响。

从一个经验主义者的角度来看,两个物体不能依据一些观测标准中分辨出来,它们就是相等的。在人文方面,平等主义者认为相等意味着要保持每个人的社会、经济、政治和他们住地的司法系统都一致。

对程序员来说,协调好逻辑和感官能力来理解我们塑造的‘相同‘的语义是一项任务。‘相同的问题‘(的探讨)太微妙,同时有太容易被忽视。对语义没有充分的理解就直接去实现它,可能会导致没必要的工作和不正确的结果。因此对数学和逻辑系统的深刻理解与按既定计划实现同样必要。

虽然所有的技术博文都是有诱惑你来读它的标题和代码,但请花几分钟时间来阅读和理解这些文字。逐字地复制看似有用的代码而不知道为什么这样写很有可能导致一些错误。相等性是个重要话题之一,但它仍包含了许多混乱的概念,尤其是在Objective-C中。

Equality & Identity

首先,弄清楚equality和identity的区别很重要。如果两个物体具有相同的观测属性,它们是可以相互等同的。但是,这两个对象仍然可以分辨出差异,它们各自的identity。在程序中,一个对象的identity是和它的内存地址关联的。

NSObject对象测试和另一个对象是否相同使用 isEqual: 方法,在它的基本实现里性等性检查本质上是对identity的检查,如果两个对象指向了相同的内存地址,它们被认为是相等的。

@implementation NSObject (Approximate)
- (BOOL)isEqual:(id)object {
  return self == object;
}
@end

对于内置的类,像NSArray, NSDictionary, 和 NSString,进行了一个深层的相等性比较,来测试在集合中的每个元素是否相等,这是一个应该也确实非常有用的做法。

NSObject 的子类要实现它们各自的 isEqual: 方法时,应该做到以下几点:

  • 1.实现一个 isEqualTo__ClassName__: 方法来执行有意义的值比较.

    2.重写 isEqual: 方法 来作类型和对象identity检查, 回调上述的值比较方法.

    3.重写 hash, 这个会在下一部分解释.

这里有一个NSArray实现这个的大概的思路(这个例子忽略了类簇, 实际实现会更具体复杂):

@implementation NSArray (Approximate)
- (BOOL)isEqualToArray:(NSArray *)array {
  if (!array || [self count] != [array count]) {
    return NO;
  }

  for (NSUInteger idx = 0; idx < [array count]; idx++) {
      if (![self[idx] isEqual:array[idx]]) {
          return NO;
      }
  }

  return YES;
}

- (BOOL)isEqual:(id)object {
  if (self == object) {
    return YES;
  }

  if (![object isKindOfClass:[NSArray class]]) {
    return NO;
  }

  return [self isEqualToArray:(NSArray *)object];
}
@end

下面的在Foudation中NSObject的子类已经自定义了判等实现,用了相关的方法:

NSAttributedString -isEqualToAttributedString:
NSData -isEqualToData:
NSDate -isEqualToDate:
NSDictionary -isEqualToDictionary:
NSHashTable -isEqualToHashTable:
NSIndexSet -isEqualToIndexSet:
NSNumber -isEqualToNumber:
NSOrderedSet -isEqualToOrderedSet:
NSSet -isEqualToSet:
NSString -isEqualToString:
NSTimeZone -isEqualToTimeZone:
NSValue -isEqualToValue:

当比较任何这些类的两个实例时,推荐使用它们各自的高级别的method而不是 isEqual: 
然而,我们的理论实现还没有完成,现在,让我们把注意力转向hash(一段插曲:先清理一下NSString的问题)。

NSString判等的奇怪案例

一个有趣的插曲,看一下这个代码:

NSString *a = @"Hello";
NSString *b = @"Hello";
BOOL wtf = (a == b); // YES

郑重地声明一下正确的比较两个NSString对象相等的方法是使用 -isEqualToString: 方法,无论如何也不能通过 == 操作符来比较两个NSString。

那么这里是怎么回事呢?为什么 NSArray或者NSDictionary字面量相同不会这样,而它(NSString)会这样呢。

这都是一种被称为‘字符串驻留‘的优化技术做的,因为这种优化不同的值可以对一份不可变的字符串值的备份进行拷贝。NSString类型的a指针和b指针对驻留字符串 @"Hello"进行了相同的拷贝。注意这个优化仅仅对静态声明的不可变字符串有效。

更有趣的是,OC的selector的名字也会被当做驻留字符串存储在一个共用的字符串pool中。

Hashing

最日常的面向对象编程来说,对象判等最主要的用法在于决定集合成员。为了让这一步更快一些,自定义判等实现的类应该也实现hash:

  • 1.对象相等是相互的([a isEqual:b] ⇒ [b isEqual:a])

    2.如果对象相等,它们的hash值必须相等([a isEqual:b] ⇒ [a hash] == [b hash])

    但是,反过来不一定成立:如果它们的hash值相等,两个对象不一定相等。([a hash] == [b hash] ¬⇒ [a isEqual:b])

现在快速翻看一下《计算机科学》101:

hash表式编程中的基本的数据结构,它可以使NSSet & NSDictionary 快速地(O(1))查找它的元素。我们也可以通过对比着数组很好地理解hash表:

Arrays按照有序的索引存储元素,因此一个大小为n的数组会把元素放在索引1,2直到n-1.为了确定数组中的一个元素存在了哪里,不得不一个个检查每个位置(除非数组碰巧已经排序好,但这是另一回事)。

Hash表使用了略微不同的方法。而不是按顺序存储元素,hash表在内存中分配了n个位置,同时用一个函数来计算在这个范围内计算一个位置。一个hash函数是确定性的,同时一个好的hash函数使用一个相对均匀的散列来生成值,而且不会有太多的计算过程。当两个不同的对象计算出相同的hash值时,会产生hash冲突。当冲突发生时,hash表会寻找冲突点同时把新加的对象放到第一个可用的位置。当hash表变得越来越拥挤,冲突的可能性会增加,这会导致花费更多的时间来寻找空间(这就是为什么均匀散列的hash函数不菲的原因。)

一个关于实现hash函数的错误共识来自于随之发生的断言,这个错误的共识认为hash值必须是不同的。这个错误共识会导致不必要地复杂实现,包括从Java textbooks复制过来的质数的神奇咒语。实际上,一个简单的对关键属性hash值的XOR(异或运算)对于99%的情况来说已经够用了。

技巧就是思考对象中的哪个值是关键的。对NSDate来说,对参照日期的时间间隔已经够用了:

@implementation NSDate (Approximate)
- (NSUInteger)hash {
  return (NSUInteger)abs([self timeIntervalSinceReferenceDate]);
}

对UIColor来说,移位之后的RGB值是非常方便计算的For a UIColor, a bit-shifted sum of RGB components is a convenient calculation:

@implementation UIColor (Approximate)
- (NSUInteger)hash {
  CGFloat red, green, blue;
  [self getRed:&red green:&green blue:&blue alpha:nil];
  return ((NSUInteger)(red * 255) << 16) + ((NSUInteger)(green * 255) << 8) + (NSUInteger)(blue * 255);
}
@end

在子类中实现 -isEqual: 和 hash

综合在一起,这里有一个如何在子类重写默认的判等实现的例子:

@interface Person
@property NSString *name;
@property NSDate *birthday;

- (BOOL)isEqualToPerson:(Person *)person;
@end

@implementation Person

- (BOOL)isEqualToPerson:(Person *)person {
  if (!person) {
    return NO;
  }

  BOOL haveEqualNames = (!self.name && !person.name) || [self.name isEqualToString:person.name];
  BOOL haveEqualBirthdays = (!self.birthday && !person.birthday) || [self.birthday isEqualToDate:person.birthday];

  return haveEqualNames && haveEqualBirthdays;
}

#pragma mark - NSObject

- (BOOL)isEqual:(id)object {
  if (self == object) {
    return YES;
  }

  if (![object isKindOfClass:[Person class]]) {
    return NO;
  }

  return [self isEqualToPerson:(Person *)object];
}

- (NSUInteger)hash {
  return [self.name hash] ^ [self.birthday hash];
}
时间: 2024-09-30 10:49:24

iOS判断对象相等 重写isEqual、isEqualToClass、hash的相关文章

hashcode 和equals 及HashSet判断对象相等

hashcode()和equals()及HashSet判断对象相等.1. 首先equals()和hashcode()这两个方法都是从object类中继承过来的.public boolean equals(Object obj)    指示某个其他对象是否与此对象“相等”.     equals 方法在非空对象引用上实现相等关系:      * 自反性:对于任何非空引用值 x,x.equals(x) 都应返回 true.      * 对称性:对于任何非空引用值 x 和 y,当且仅当 y.equa

Javascript 判断对象是否相等

在Javascript中相等运算包括"==","==="全等,两者不同之处,不必多数,本篇文章我们将来讲述如何判断两个对象是否相等? 你可能会认为,如果两个对象有相同的属性,以及它们的属性有相同的值,那么这两个对象就相等.那么下面我们通过一个实例来论证下: var obj1 = { name: "Benjamin", sex : "male" } var obj2 = { name: "Benjamin",

Set集合判断对象重复的方法

Set<User> userSet = new HashSet<>(); User user1= new User("aa","11"); User user2= new User("aa","11"); userSet.add(user1); userSet.add(user2); System.out.println("set size"+userSet.size()); Ite

scala 判断对象相等/equals

1 package scala_enhance.scalaextends 2 3 import scala.collection.mutable.HashMap 4 5 /** 6 * scala中判断对象相等 7 * 原则: 8 * 如果两个对象相等,那么其hashcode必定相同,所以重写equals方法,要重写hashcode(默认情况下hashcode是根据内存地址计算出来的值) 9 * 但如果hashcode相同(即使用 == 比较为true),却不能证明他们相等 10 * 关于重写e

c++派生类中构造函数和析构函数执行顺序、判断对象类型、抽象类、虚函数

一. 代码: 1 #include<stdio.h> 2 #include<string.h> 3 #include<algorithm> 4 #include<iostream> 5 using namespace std; 6 class A 7 { 8 public: 9 int a,b; 10 A(); 11 A(int x,int y); 12 ~A(); 13 }; 14 A::A() 15 { 16 printf("调用A类构造函数\

javascript 判断对象的内置类型

判断某个对象值属于哪种内置类型,最靠谱的做法就是通过Object.prototype.toString方法.在toString方法被调用时,会执行下面的操作步骤:1. 获取this对象的[[Class]]属性的值.2. 计算出三个字符串"[object ", 第一步的操作结果Result(1), 以及 "]"连接后的新字符串.3. 返回第二步的操作结果Result(2).Object.prototype.toString方法返回的字符串,去掉前面固定的"[

判断对象类型

1.typeof不能区分数组类型和对象,只能区分原始类型与function 2.判断父级对象: isPrototypeOf -- 判断对象本身数据类型,及可能继承自原型的数据类型 let bool = Array.prototype.isPrototypeOf(obj) 3. 判断构造函数: 检查整个原型链 obj.constructor==Array 是数组,也可能继承自数组 let bool = obj instanceof Array 是数组,也可能继承自数组 4. 判断对象的内部clas

Python中 isinstance()用法 判断对象的类型

isinstance(p_object, class_or_type_or_tuple):判断对象的类型 a=123 ret=isinstance(a,int) print(ret) #输出:True li=[2,57,4] ret1=isinstance(li,list) print(ret1) #输出:True  

iOS 判断是push还是present

iOS 判断是push还是present下面这种方法判断成功了  if (self.presentingViewController)   {      [weakSelf dismissViewControllerAnimated:YES completion:nil];    }    else {       [weakSelf.navigationController popViewControllerAnimated:YES];      }