型の特定と継承について

Question

エラーの様子

TypeScriptハンドブックで見た例でよくわからなかったエラーがありましたが
いずれもう少し読みすすめていけばわかるようになるだろうと思って
放置していた疑問についておしえてください

他にも例はあるのですが最初に私の環境でこの種のエラーメッセージが出たのは
以下の[交差型の説明]のサンプルでした

function extend<T, U>(first: T, second: U): T & U {
    let result = <T & U>{};
    for (let id in first) {
        (<any>result)[id] = (<any>first)[id];
    }
    for (let id in second) {
        if (!result.hasOwnProperty(id)) {  // [Error] 'hasOwnProperty' は型 'T & U' に存在しません。ts(2339)
            (<any>result)[id] = (<any>second)[id];
        }
    }
    return result;
}

上記のresultは２つの型引数で交差型として特定されおり、
その型においてhasOwnPropertyプロパティーは無いというエラーです
ましてやまだ未定のTとUであるわけですから当然なのですが・・・
もちろんresultの宣言から型を取り去ればこのエラーはなくなります

###疑問点
TypeScriptにおいて、型を特定した途端にいわゆるJavaScriptとしての継承は断ち切られれるのだろうか？

そうであるならTypeScriptとして、このようなケースで（JavaScriptとしての、自分や親のプロパティーにアクセスしたい時など）、どのようにすればエラーなくできるでしょうか？

またハンドブックのサンプルでこのようなエラーメッセージがでるのは
私のリンターなど環境の設定がおかしいのか？

など、全く理解が足りてないのですがよろしくおねがします。

環境

VS Code 1.38.1
WebPack 4.16.3
WebPackCLI 3.1.0
typescript 3.2.4
ts-loader 4.4.2"
eslint 5.14.0

tsconfig.json

{
  "compilerOptions": {
    "target": "es6",
    "module": "commonjs",
    "strict": true,
    "strictNullChecks": true,
    "esModuleInterop": true,
    "sourceMap": true,
    "outDir": "./dist/js/",
    "rootDir": "./src/ts/",
    "lib": ["es6", "dom", "es2018"],
    "typeRoots": ["./typings"],
    "strictFunctionTypes": false,
  },
}

.eslintrc.js

module.exports = {
  "ecmaFeatures": {
    "modules": true
  },
  "env": {
    "browser": true,
    "node" : true,
    "es6" : true,
    "mocha":true,
    "jquery": true
  },
  "extends": [
    "eslint:recommended",
    "plugin:prettier/recommended"
  ],
  "plugins": [
    "@typescript-eslint"
  ],
  "globals": {
  },
  "parser": "@typescript-eslint/parser",
  "parserOptions": {
    "sourceType": "module",
    "project": "./tsconfig.json"
  },
  "settings":{
    'import/extensions': ['.js','jsx','.ts','tsx'],
    'import/resolver':{'node':['.js','jsx','.ts','tsx']}
  },
  "rules": {
    "no-console": "off",
    "no-irregular-whitespace":'off',
    "no-extra-semi": "warn",
    "no-undef": "warn",
    "quotes": ["warn", "single"],
    "space-before-blocks": ["warn", { "functions": "always" }],
    "@typescript-eslint/adjacent-overload-signatures": "error",
    "no-unused-vars":"off",
    "prettier/prettier": [
      "error",
      {
        "singleQuote": true,
        "trailingComma": "es5", 
        "semi": false,
      },
    ],
  },
}
コード

Comments

[退会済みユーザー]

エラーを貼って下さい（貴方の解釈ではなく実物）。

Answer 1

TypeScriptにおいて、型を特定した途端にいわゆるJavaScriptとしての継承は断ち切られれるのだろうか？

そういうのとは関係なく、これはコードの書き方が悪いです。実際にTやUへObject.create(null)などで作ったhasOwnPropertyのないオブジェクトを渡せる以上、result.hasOwnPropertyは呼べないこともある前提で書く必要があります。T & U型にhasOwnPropertyがあることは保証されません。

さらに言えば、TやUに関数でないhasOwnPropertyがセットしてあるという危険性も考えると、result.hasOwnPropertyに頼るのは適当ではありません。Object.prototype.hasOwnProperty.callを使ってください（これはTypeScriptでないJavaScriptを書く際にも共通します）。

Comments

[TOMIYASU_chan]

ありがとうございます。
「T & U型にhasOwnPropertyがあることは保証されません」というところで納得できました
可能性として無いかもしれない部分に関してのエラーということですね
これなら何度も出会った表現で、意味的にも理解できます
!Object.prototype.hasOwnProperty.call(result, id)