Re: [問題] 面試時被問到介面功能

[Killercat (殺人貓™)]

※ 引述《swpoker (swpoker)》之銘言：
: ※ 引述《PsMonkey (痞子軍團團長)》之銘言：
: 介面存在的目的就是跟推文大大說的一樣
: 因為C的多重繼承直接導致不可思議的問題
: 也因為本身語言的機制導致無法從語言本身解決
: 例如
: A{methodA,methodC}
: B{methodB,methodC}
: XXX 繼承A,B
: 那麼methodC是???
其實這邊有個很有趣的地方，可以給大家參考一下。
這種東西在C++裡面會直接編譯器給你打X
你一定至少得能用Koenig lookup能解析出來的形式才會讓你編過去
所以其實這不是問題，語言幫你解決了：就是直接不給過

給個sample code大家去玩玩看
#include <stdio.h>

class A {
        public:
        void print_1() { printf("This is _1!"); };
        void print_2() { printf("This is _2!"); };
};

class B {
        public:
        void print_1() { printf("This is _1_B!"); };
        void print_3() { printf("This is _3_B!"); };
};

class C : public A, public B {

};

using namespace std;
int main(int argc, char *argv[]) {
        C* c = new C();
        c->print_1();

}
這樣，我想編譯是不會過的。除非我們很明確的指定出來
c->A::print_1();
c->B::print_1();

但是這問題還是有的，如果我們用這種方法產生呢?

        A* c = new C();
        c->print_1();

或者
        B* c = new C();
        c->print_1();

嘿嘿，這樣就符合Koenig Lookup 可以找出來了，而且不會ambigious
有興趣可以自己拿編譯器玩玩看

所以其實除非使用者自己混淆自己，比方說最後兩個例子。
不然其實C++設計上是有防範這些東西的。

C++講太多不好，這裡是java板。談談跟Java比較有關係的例子
為什麼物件導向語言大多數都會禁止多重繼承？以及為什麼C++不算真正的OO語言?
其實有一部分的原因（不是全部）都跟一個關鍵字有關:鑽石型繼承
簡單的說就是

     A
  B     C
     D
B繼承A C繼承A D繼承於B以及C，這種東西稱為鑽石繼承
乍看之下沒有什麼問題，但是我們舉個很簡單的例子來看，馬上就知道問題出在哪

A = java的Object，B C都是java bean 所以當然理所當然的繼承了Object
A有一個原生的實作叫做Object.toString() BC都overload了toString
那要是有多重繼承的話 D.toString會是什麼？

這東西就是所謂的鑽石繼承(Diamond Inheritance)
http://stackoverflow.com/questions/379053/diamond-inheritance-c/
鑽石繼承是一個嚴重的設計問題。在C++裡面基本上都是能避就避
不過C++由於沒有基礎Object 所以其實不太容易真的碰到這個問題。

這就是為什麼OO語言(所有東西都會牽扯到一個基礎物件Object)多半禁止多重繼承
因為你只要多重繼承，100%就是鑽石繼承。
C++之所以很多人不把他算OO語言也是因為他並沒有一個基本的Object

那轉了一大圈，我們終於可以回到正題了：Abstract跟Interface本質上差異在哪

Abstract其實也是一個繼承於Object的class，所以他不管是什麼
至少都會有Abstract.toString(), Abstract.getClass()這類Object性質
而interface則否，它本身並沒有代表(represent)任何一個Object
絕對不會有什麼Interface.toString()(除非你自己定義)這類的隱含性的東西
名稱衝突方面，java自己也有一套機制去把名稱衝突擋下來
(這個簡單的小實驗就交給有興趣的人自己去玩玩看，其實差不多)
但是由於interface絕無鑽石繼承的問題，所以可以愛放幾個就放幾個
abstract class至少就會有繼承到一個共通的object 所以會避免鑽石繼承下
自然就不會開放多重繼承來使用。

P.S. Koenig Lookup是一個很龐大的規則，它定義了幾乎所有的C++函數被查找的順序
由於C++還有一個萬惡淵藪叫做default value，所以Koenig Lookup其實很複雜
而這僅僅只是Koenig Lookup的一小部份而已。

不過他主要都是以「直覺」為出發點，就是「大多數人直覺上都會挑到這個」為主
所以其實複雜歸複雜，卻不會很困難。

有興趣可以google這個名詞。Java其實或多或少也是用這種方法去找的（吧？）


--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.124.251.135
※ 編輯: Killercat       來自: 59.124.251.135       (10/17 19:18)
推 dream1124:推, 有趣
推 swpoker:推！釣到大尾的了！真棒！！
推 kentyeh:http://goo.gl/YZo1k6 也提到了開始範例(java8)的問題
推 popcorny:推!!
推 lovdkkkk:(y)
推 NullLife:推!!
推 kspacey:推
推 gary62107:推
推 battle7:推推~高手
推 pugboy:推推
推 fonz:推 !!
推 Elohim123:BC都overload了toString  應該指的是override?
推 kipi91718:優文推
推 Samuel77:有讀有推 增長知識了!!