RAC的函數語言程式設計

aron1992發表於2019-04-04
函數程式設計

####為什麼是函式式

  • 資料與函式是鬆耦合的
  • 函式隱藏了它們的實現，語言的抽象是函式，以及將函式組合起來表達。
  • 核心抽象模型是函式，不是資料結構
  • 核心活動是編寫新的函式。
  • 變數預設是不變的，減少可變性變數的使用，併發性好

####函式式的實現 objc語言使用block實現函數語言程式設計，在典型的函數語言程式設計框架RAC中，把資料的生成和資料的處理單獨的放在block中處理，資料的生產和消費之間是鬆耦合的，block是資料處理的最小單位。

本文使用的是Objc版本的ReactiveCocoa，建立一個Objc的專案，使用pod匯入：

pod 'ReactiveObjC', '3.0.0'
複製程式碼

####建立RACSignal以及訂閱這個RACSignal接收訊息
簡單的程式碼如下

RACSignal* signal = [RACSignal createSignal:^RACDisposable * _Nullable(id<RACSubscriber>  _Nonnull subscriber) {
    [subscriber sendNext:@"message"];
    return nil;
}];

[signal subscribeNext:^(id  _Nullable x) {
    NSLog(@"received:%@", x);
}];

// 控制檯輸出
2017-04-24 17:36:49.364 EffectiveOCDemo[46385:2426010] received:message
複製程式碼

####RACSignal物件建立

// RACSignal.m
+ (RACSignal *)createSignal:(RACDisposable * (^)(id<RACSubscriber> subscriber))didSubscribe {
	return [RACDynamicSignal createSignal:didSubscribe];
}

// RACDynamicSignal.m
+ (RACSignal *)createSignal:(RACDisposable * (^)(id<RACSubscriber> subscriber))didSubscribe {
	RACDynamicSignal *signal = [[self alloc] init];
	signal->_didSubscribe = [didSubscribe copy];
	return [signal setNameWithFormat:@"+createSignal:"];
}
複製程式碼

使用RACSignal類的類方法createSignal建立一個RACSignal最終建立的是一個RACSignal的子類RACDynamicSignal的物件，物件中會把引數中的didSubscribe block 儲存到_didSubscribe例項變數中，後面傳送訊息的時候回用到_didSubscribe這個block。

####subscribeNext 方法

// RACSignal.m
- (RACDisposable *)subscribeNext:(void (^)(id x))nextBlock {
	NSCParameterAssert(nextBlock != NULL);
	
	RACSubscriber *o = [RACSubscriber subscriberWithNext:nextBlock error:NULL completed:NULL];
	return [self subscribe:o];
}

// RACSubscriber.m 快捷方法建立RACSubscriber物件
+ (instancetype)subscriberWithNext:(void (^)(id x))next error:(void (^)(NSError *error))error completed:(void (^)(void))completed {
	RACSubscriber *subscriber = [[self alloc] init];

	subscriber->_next = [next copy];
	subscriber->_error = [error copy];
	subscriber->_completed = [completed copy];

	return subscriber;
}

// RACDynamicSignal.m 
- (RACDisposable *)subscribe:(id<RACSubscriber>)subscriber {
	NSCParameterAssert(subscriber != nil);

	RACCompoundDisposable *disposable = [RACCompoundDisposable compoundDisposable];
	subscriber = [[RACPassthroughSubscriber alloc] initWithSubscriber:subscriber signal:self disposable:disposable];

	if (self.didSubscribe != NULL) {
		RACDisposable *schedulingDisposable = [RACScheduler.subscriptionScheduler schedule:^{
			RACDisposable *innerDisposable = self.didSubscribe(subscriber);
			[disposable addDisposable:innerDisposable];
		}];

		[disposable addDisposable:schedulingDisposable];
	}
	
	return disposable;
}
複製程式碼

RACSignal的subscribeNext方法中會建立了一個sub，_next成員變數用於儲存引數中的nextBlock，後面接收訊息的時候會用到_next block。建立了RACSubscriber物件之後，呼叫RACDynamicSignal物件的的subscribe方法，並且把RACSubscriber物件當做引數進行傳遞。然後執行之前儲存的didSubscribe block

self.didSubscribe(subscriber);
複製程式碼

也就是執行了下面這個block,在這個block中又會執行RACSubscriber的sendNext方法

RACSignal* signal = [RACSignal createSignal:^RACDisposable * _Nullable(id<RACSubscriber>  _Nonnull subscriber) {
    [subscriber sendNext:@"message"];
    return nil;
}];
複製程式碼

####sendNext方法

- (void)sendNext:(id)value {
	@synchronized (self) {
		void (^nextBlock)(id) = [self.next copy];
		if (nextBlock == nil) return;

		nextBlock(value);
	}
}
複製程式碼

sendNext方法會同步取出之前儲存的next block，然後執行該block,並且傳遞sendNext方法中的引數，執行nextblock也就是執行了下面這個block

[signal subscribeNext:^(id  _Nullable x) {
    NSLog(@"received:%@", x);
}];
複製程式碼

這樣一個完整的訊息傳送接收鏈就建立起來了，在RACSignal createSignal block中傳送的資料在signal subscribeNext block中可以同步的接收到。

####小結 #####冷訊號和熱訊號

RACSignal* signal = [RACSignal createSignal:^RACDisposable * _Nullable(id<RACSubscriber>  _Nonnull subscriber) {
    [subscriber sendNext:@"message"];
    return nil;
}];
複製程式碼

建立的RACSignal物件裡面的_didSubscribe並不會自動執行，這種RACSignal成為_冷訊號，當且僅當呼叫了subscribeNext訂閱這個訊號，RACSignal物件 的_didSubscribe才會得到執行，這樣RACSignal成為了熱訊號_，在_didSubscribe block執行的時候同時會呼叫RACSubscriber sendNext方法，sendNext又會呼叫RACSubscriber的nextBlock，這樣訊息轉發完畢。

#####RACSignal資料流圖

RACSignal資料流圖
RACSignal資料流圖

相關文章