Month: January 2017

今天是看這篇：Interfaces

TypeScript 有 anonymous interface ，就像下面的程式一樣：

// 有點 anonymous interface 的味道
function printLabel1(labelledObj: { label: string }) {
    console.log(labelledObj.label);
}

// 也可以明確的用 interface 寫
interface LabelledValue {
    label: string;
}

function printLabel2(labelledObj: LabelledValue) {
    console.log(labelledObj.label);
}

 

在宣告成員時，如果加入 ? ，表示可有可無，這個寫法應該是參考了 Ruby 的作法

interface SquareConfig {
    color?: string;
    width?: number;
}

 

用 readonly 修飾詞則是表示唯讀

interface Point {
    readonly x: number;
    readonly y: number;
}

 

如果要需告一個唯讀的陣列，可以用 ReadonlyArray

let ro: ReadonlyArray = a;

 

我覺得 Function types 比較不是那麼直覺，不容易看懂

interface SearchFunc {
    (source: string, subString: string): boolean;
}
let mySearch: SearchFunc;
mySearch = function(source: string, subString: string) {
    let result = source.search(subString);
    return result > -1;
}

大抵來說就是 python 的 __call__ 或是 c++ 的 operator()。

Indexable type 也是不太直覺

interface StringArray {
    [index: number]: string;
}

let myArray: StringArray;
myArray = ["Bob", "Fred"];

let myStr: string = myArray[0];

大抵來說就是 python 的 __item__ 或是 c++ 的 operator[]。

要讓類別實作介面是用 implements 關鍵字

interface ClockInterface {
    currentTime: Date;
}

class Clock implements ClockInterface {
    currentTime: Date;
    constructor(h: number, m: number) { }
}

 

下面這例子是想要限定 ClockInterface 裡的 constructor 必須符合 ClockConstructor 規範的作法，第一眼不太容易看懂。

interface ClockConstructor {
    new (hour: number, minute: number): ClockInterface;
}
interface ClockInterface {
    tick();
}

// 傳進來的 ctor 必須符合 ClockConstructor 的規範，要有 hour 跟 minute 這兩個 number 型別的參數。
function createClock(ctor: ClockConstructor, hour: number, minute: number): ClockInterface {
    return new ctor(hour, minute);
}

class DigitalClock implements ClockInterface {
    constructor(h: number, m: number) { }
    tick() {
        console.log("beep beep");
    }
}
class AnalogClock implements ClockInterface {
    constructor(h: number, m: number) { }
    tick() {
        console.log("tick tock");
    }
}

let digital = createClock(DigitalClock, 12, 17);
let analog = createClock(AnalogClock, 7, 32);

 

介面也可以繼承，跟類別一樣，是用 extends，而且允許繼承多個

interface Shape {
    color: string;
}
interface PenStroke {
    penWidth: number;
}
interface Square extends Shape, PenStroke {
    sideLength: number;
}

 

蠻令我驚訝的是，Interface 可以繼承 class … @_@

JavaScript 提出了兩個新的關鍵字：let 與 const。使用 let 可以避免使用 var 的一些奇妙現象；而 const 就是跟 C 的 const 一樣，避免再次指定值給這個變數。

Variable Declarations 裡提了許多 JavaScript 使用 var 宣告變數時的奇妙現象，然後解說為什麼要改用 let。這部份我偷懶跳過去了，我的想法是，就都改用 let 吧。

另外有提到 Destructuring，就是類似 Python 的 unpack ：

// JavaScript/TypeScript
let input = [1, 2];
let [first, second] = input;

Python 則是：

# Python
first, second = (1, 2)

也跟 Python 3 一樣，有取 remain items 的效果：

let [first, ...rest] = [1, 2, 3, 4];
console.log(first); // outputs 1
console.log(rest); // outputs [ 2, 3, 4 ]

Object destructuring 是個比較特別的東西，意思跟 destructuring 差不多，但對象是 object，也就是可以將 object 的某幾個屬性放到變數裡。

let o = {
    a: "foo",
    b: 12,
    c: "bar"
}
let { a, b } = o;
({ a, b } = { a: "baz", b: 101 });  // 這樣也可

也支援 remaining items 的方法：

let { a, ...passthrough } = o;

Object destructuring 還支援 default values，意思是如果 wholeObject 沒有 b 屬性時，就把 b 指定為 1001：

function keepWholeObject(wholeObject: { a: string, b?: number }) {
    let { a, b = 1001 } = wholeObject;
}

也可以應用到 function 上，我覺得這個例子比較清楚，可以應用在只取物件的某幾個屬性來使用時：

function f({ a, b } = { a: "", b: 0 }): void {
    // ...
}
f(); // ok, default to { a: "", b: 0 }

Spread 算是陣列相加的一個 syntax sugar，可以把 first, second 塞到 bothPlus 這陣列裡去：

let first = [1, 2];
let second = [3, 4];
let bothPlus = [0, ...first, ...second, 5];

也可以應用在 object 上，目前想到可以用來做 object proxy 或是 composite 之類的，不過不適合也不一定。

let defaults = { food: "spicy", price: "$$", ambiance: "noisy" };
let search = { food: "rich", ...defaults };

 

今天是看這篇：Basic Types

裏面直接建議用 ES6 的 let 替代 var 了。

• boolean：布林型態
• number：數字型態，沒有 integer, long, float, double 之類的，只有 number，JavaScript 裡的數字都是 float。
• string：字串
• array：陣列，在型別後面加上 []，例如： let list: number[] = [1, 2, 3]; ，要注意的是，無法指定固定個數。
• tuple：就 tuple ，有點像陣列，但能指定每個元素的型態，這跟 Python 不一樣。例如：

  let x: [string, number];
  let x = ["Hello", 100];
  let y: [string, number] = ["John", 200];
  y[2] = "Doe";
  console.log(y);  // 輸出 [ 'John', 200, 'Doe' ]
  

• enum：列舉，用法跟其他語言大致相似：

  enum Color {Red, Green, Blue};
  let c: Color = Color.Green;
  // 比較特別的用法
  let colorName: string = Color[2];
  console.log(colorName);  // 輸出 Blue
  

• any：任意型態，但要注意的是跟其他語言所指的 Object 型別不同，TypeScript 有獨立一個 Object 型別。說起來跟 C# 的 dynamic 比較相似。

  let notSure: any = 4;
  notSure.ifItExists(); // 通過編譯，因為可能在執行時期就有 ifItExists()
  notSure.toFixed(); // 通過編譯，因為可能在執行時期就有 toFixed()
  
  let prettySure: Object = 4;
  prettySure.toFixed(); // 編譯錯誤，編譯時會有 Object 型別沒有 toFixed 的錯誤。

• void：就 void ，表示不會傳回任何東西
• null：就 null ，可以把任何型態的變數指定為 null
• undefined：就 undefined，可以把任何型別的變數指定為 undefined
• never：表示絕對不會傳回變數，

  // 只會丟出例外
  function error(message: string): never {
      throw new Error(message);
  }
  // 裏面是不會結束的迴圈
  function infiniteLoop(): never {
      while (true) {
      }
  }

Type assertion ，有 C/C# 強制轉型的意味。

let someValue: any = "this is a string";
let strLength: number = (someValue).length;
// 也可以用類似 c# as 的語法
let strLength: number2 = (someValue as string).length;