パラメータが定義されていない場合は、未定義返す関数を入力

Question

のは、私はこの機能(try online)を持っているとしましょう：

type Person = { name: string } 
function getName(p: ?Person): ?string { 
    if (!p) { 
    return p 
    } else { 
    return p.name 
    } 
} 

const frank: Person = { name: 'Frank' } 
/* 
* In order to work now, this has to have a maybe type 
* const name: ?string = getName(frank) 
* Even though I know it will is guaranteed to be a string 
*/ 
const name: string = getName(frank) 

フローgetNameがundefinedを返すことができると思うので、私は、エラーを取得します。これが起こるだけですが、pが定義されていないと、明らかにそうではありません。

何らかの形で関数を入力することができます。戻り値の型はundefinedで、パラメータがundefinedの場合のみ、そうでない場合は文字列ですか？そう

function getName(person) { 
    if (! person) { 
    return undefined 
    } else { 
    return person.name 
    } 
} 

const maybeFrank: ?Person = getFrank() 
const definitelyMaria: Person = getMaria() 

const frankName: ?string = getName(maybeFrank) 
const mariaName: string = getName(definitelyMaria) 

は、私は方法でそれを入力したいと思い、：：私は簡単な機能を持っている ：

クラリファイン例：編集

---

• 場合は、パラメータはJust Person、戻り値の型はJust Stringです。
• パラメータが多分人の場合、戻り値の型は多分文字列

それは可能ですか？

Answer 1

私の意見は、関数の引数から?を削除し、コールサイトに曖昧さ回避を残すことです。例えば

type Person = { name: string } 

function getName(person: Person): string { 
    return person.name 
} 

const maybeFrank: ?Person = Math.random() > 0.5 ? {name: 'Frank'} : undefined; 
const definitelyMaria: Person = {name: 'Maria'}; 

const frankName: ?string = maybeFrank && getName(maybeFrank) 
const mariaName: string = getName(definitelyMaria); 

そうでない場合、あなたは本当に、あなたが明示的に明示的なタイプ

type Person = { name: string } 

declare function getName(p: Person): string; 
declare function getName(p: void): void; 
function getName(p: ?Person): ?string { 
    if (!p) { 
    return undefined 
    } else { 
    return p.name 
    } 
} 

const frank: Person = { name: 'Frank' } 
const name: string = getName(frank)