一、抽象類的使用
Dart 抽象類可以只聲明方法,也可以有具體的方法實現(xiàn),但是不能直接用抽象類來創(chuàng)建實例,只能被繼承使用或者充當(dāng)接口。
定義一個抽象類 Animal
abstract class Animal {
// 僅聲明eat方法
void eat();
// 聲明方法,且有具體實現(xiàn)
void sleep() {
print("睡覺");
}
}
繼承使用
class Cat extends Animal {
@override
void eat() {
print("喵喵吃");
sleep();
}
// 可以不實現(xiàn) sleep 方法
}
充當(dāng)接口
class Cat implements Animal {
void eat() {
print("吃");
}
// 必須實現(xiàn) sleep 方法
void sleep() {
print('睡');
}
}
實例化
final animal = Animal();
// 抽象類實例化會報錯
// Error: The class 'Test' is abstract and can't be instantiated.
- 抽象類不能實例化。
- 繼承: 子類比較實現(xiàn)抽象方法,子類可以不重寫抽象類中已實現(xiàn)的方法。
- 接口: 必須實現(xiàn)抽象類中聲明的所有方法
二、抽象類的實例化
上面提到了抽象類不能用于創(chuàng)建實例,但是有沒有發(fā)現(xiàn),Dart 提供的 Map 和 List 就是抽象類,卻可以直接使用它們創(chuàng)建出一個實例對象
final list = List();
final dict = Map<String, dynamic>();
我們來看一下 Map 的源碼:

Map 的確是抽象類,不過此時我們也注意到了,在 Map 這個抽象類中,定義了一個工廠構(gòu)造方法,這就是使抽象類可實例化的關(guān)鍵所在,因為工廠方法可以返回一個實例對象,但這個對象的類型不一定就是當(dāng)前類!
在這個地方,Map 的工廠方法并沒有具體的實現(xiàn),而只是在工廠構(gòu)造方法前加了一個關(guān)鍵字 external。
external 關(guān)鍵字可以讓方法的聲明與實現(xiàn)分離,即 可以由外部來幫我們完成具體的方法實現(xiàn),那外部如何才能關(guān)聯(lián)到該聲明的方法呢?這里就需要用到注解 @patch,使外部的方法實現(xiàn)與該聲明的方法綁定
external可以分離方法的聲明與實現(xiàn)
@patch關(guān)聯(lián)某個類中用external修飾的方法的實現(xiàn)
根據(jù)如下路徑可以找到 Map 的具體實現(xiàn)源碼
// flutter/bin/cache/dart-sdk/lib/_internal/vm/lib/map_patch.dart
@patch
factory Map() => new LinkedHashMap<K, V>();
可以看到,這里使用了 LinkedHashMap 來實現(xiàn) Map 。
我們再去看一下 LinkedHashMap 的實現(xiàn)源碼,路徑如下:
// flutter/bin/cache/dart-sdk/lib/collection/linked_hash_map.dart
external factory LinkedHashMap(
{bool Function(K, K)? equals,
int Function(K)? hashCode,
bool Function(dynamic)? isValidKey});
這里我們又發(fā)現(xiàn) LinkedHashMap 也僅僅只是聲明,找到具體實現(xiàn)
// flutter/bin/cache/dart-sdk/lib/_internal/vm/lib/collection_patch.dart
@patch
class LinkedHashMap<K, V> {
@patch
factory LinkedHashMap(
{bool equals(K key1, K key2)?,
int hashCode(K key)?,
bool isValidKey(potentialKey)?}) {
if (isValidKey == null) {
if (hashCode == null) {
if (equals == null) {
return new _InternalLinkedHashMap<K, V>();
}
hashCode = _defaultHashCode;
} else {
if (identical(identityHashCode, hashCode) &&
identical(identical, equals)) {
return new _CompactLinkedIdentityHashMap<K, V>();
}
equals ??= _defaultEquals;
}
} else {
hashCode ??= _defaultHashCode;
equals ??= _defaultEquals;
}
return new _CompactLinkedCustomHashMap<K, V>(equals, hashCode, isValidKey);
}
...
}
可以看到,LinkedHashMap的工廠構(gòu)造方法返回的實例類型是 _InternalLinkedHashMap 或 _CompactLinkedCustomHashMap ,這里我們再看一下這兩個類的實現(xiàn)源碼
// flutter/bin/cache/dart-sdk/lib/_internal/vm/lib/compact_hash.dart
@pragma("vm:entry-point")
class _InternalLinkedHashMap<K, V> extends _HashVMBase
with
MapMixin<K, V>,
_LinkedHashMapMixin<K, V>,
_HashBase,
_OperatorEqualsAndHashCode
implements LinkedHashMap<K, V> {
_InternalLinkedHashMap() {
_index = new Uint32List(_HashBase._INITIAL_INDEX_SIZE);
_hashMask = _HashBase._indexSizeToHashMask(_HashBase._INITIAL_INDEX_SIZE);
_data = new List.filled(_HashBase._INITIAL_INDEX_SIZE, null);
_usedData = 0;
_deletedKeys = 0;
}
}
......
class _CompactLinkedIdentityHashMap<K, V> extends _HashFieldBase
with
MapMixin<K, V>,
_LinkedHashMapMixin<K, V>,
_HashBase,
_IdenticalAndIdentityHashCode
implements LinkedHashMap<K, V> {
_CompactLinkedIdentityHashMap() : super(_HashBase._INITIAL_INDEX_SIZE);
}
class _CompactLinkedCustomHashMap<K, V> extends _HashFieldBase
with MapMixin<K, V>, _LinkedHashMapMixin<K, V>, _HashBase
implements LinkedHashMap<K, V> {
final _equality;
final _hasher;
final _validKey;
// TODO(koda): Ask gbracha why I cannot have fields _equals/_hashCode.
int _hashCode(e) => _hasher(e);
bool _equals(e1, e2) => _equality(e1, e2);
bool containsKey(Object? o) => _validKey(o) ? super.containsKey(o) : false;
V? operator [](Object? o) => _validKey(o) ? super[o] : null;
V? remove(Object? o) => _validKey(o) ? super.remove(o) : null;
_CompactLinkedCustomHashMap(this._equality, this._hasher, validKey)
: _validKey = (validKey != null) ? validKey : new _TypeTest<K>().test,
super(_HashBase._INITIAL_INDEX_SIZE);
}
它們都是一個普通的類,沒有工廠構(gòu)造方法,也就是說 Map 中的 external factory Map(); 最終返回的最終實例類型為 _InternalLinkedHashMap 或 _CompactLinkedCustomHashMap
我們可以做一個簡單的驗證
final map = Map();
print(map.runtimeType);
// 打印結(jié)果
// _InternalLinkedHashMap<dynamic, dynamic>
我們來試著實例化一個抽象類吧
abstract class Animal {
void eat();
void sleep() {
print("睡覺");
}
factory Animal() {
return Cat();
}
}
class Cat implements Animal {
void eat() {
print("吃");
}
void sleep() {
print('睡');
}
}
final animal = Animal();
print(animal.runtimeType);
// 打印結(jié)果: Cat
可能會有同學(xué)要問了,這里用的是接口的方式,可以用繼承的方式嗎?
很遺憾不行,因為在抽象類中定義了工廠構(gòu)造方法后,在子類中不能定義除工廠構(gòu)造方法外的其它構(gòu)造方法了,會報錯~
總結(jié)一下:
抽象類無法直接創(chuàng)建實例,但是可以通過實現(xiàn)工廠構(gòu)造方法來間接實現(xiàn)抽象類的實例化!
三、補充
那饒了這么一大圈,為什么不直接在聲明的時候就給它實現(xiàn)了呢???
這樣做的好處就是:
- 復(fù)用同一套API的聲明
- 可以針對不同的平臺做不同的實現(xiàn)
而 針對不同的平臺做不同的實現(xiàn) 這一點在下方給出的源碼中可以看出
// flutter/bin/cache/dart-sdk/lib/io/file_system_entity.dart
abstract class _FileSystemWatcher {
external static Stream<FileSystemEvent> _watch(
String path, int events, bool recursive);
external static bool get isSupported;
}
// flutter/bin/cache/dart-sdk/lib/_internal/vm/bin/file_patch.dart
@patch
static Stream<FileSystemEvent> _watch(
String path, int events, bool recursive) {
if (Platform.isLinux) {
return new _InotifyFileSystemWatcher(path, events, recursive)._stream;
}
if (Platform.isWindows) {
return new _Win32FileSystemWatcher(path, events, recursive)._stream;
}
if (Platform.isMacOS) {
return new _FSEventStreamFileSystemWatcher(path, events, recursive)
._stream;
}
throw new FileSystemException(
"File system watching is not supported on this platform");
}
