型安全性ã¨ã¯ä½•ã‹ | POSTD以å‰æ›¸ã„ãŸï¼ˆC言語ã«ã¤ã„ã¦ã®ï¼‰ メモリ安全性ã«ã¤ã„ã¦å®šç¾©ã—ãŸè¨˜äº‹ ã«ã¤ã„ã¦ã€åž‹å®‰å…¨æ€§ã«ã¤ã„ã¦èª¬æ˜Žã™ã‚‹è¨˜äº‹ã‚‚投稿ã—ã¦ã»ã—ã„ã¨ã„ã†ã‚³ãƒ¡ãƒ³ãƒˆãŒã‚ã‚Šã¾ã—ãŸã€‚型安全性ã«ã¤ã„ã¦ã¯ã‹ãªã‚Šã‚ˆã知られã¦ãã¦ã„ã‚‹ã¨æ€ã„ã¾ã™ãŒã€ã‚ºãƒãƒªã“ã†ã ã¨ç°¡å˜ã«å®šç¾©ã§ãã‚‹ã»ã©ã«ã¯ã¾ã ç†è§£ãŒæµ¸é€ã—ã¦ã„ã¾ã›ã‚“。特ã«èª°ã‹ãŒâ€Javaã¯åž‹å®‰å…¨ãªè¨€èªžã â€ã¨è¨€ã£ãŸå ´åˆã€ã“ã‚Œã¯åŽ³å¯†ã«ä½•ã‚’æ„味ã™ã‚‹ã®ã§ã—ょã†ã€‚å…¨ã¦ã®åž‹å®‰å…¨ãªè¨€èªžã¯ã‚ã‚‹æ„味â€åŒã˜â€ã¨è¨€ãˆã‚‹ã§ã—ょã†ã‹ã€‚ã‚る特定ã®è¨€èªžã«ã¤ã„ã¦ã€ãã—ã¦ä¸€èˆ¬çš„ãªæ„味ã§ã€ã‚ãªãŸã‚’æ‚©ã¾ã›ã‚‹åž‹å®‰å…¨æ€§ã¨ã¯ä½•ã§ã—ょã†ã‹ã€‚ 実際ã®ã¨ã“ã‚ã€åž‹å®‰å…¨æ€§ãŒä½•ã‚’æ„味ã™ã‚‹ã®ã‹ã¯è¨€èªžã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã®å®šç¾©ã«ã‚ˆã‚Šã¾ã™ã€‚最もシンプルãªã‚±ãƒ¼ã‚¹ã§ã¯ã€åž‹å®‰å…¨æ€§ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®å‹•ä½œãŒæ£ã—ã定義ã•ã‚Œã‚‹ã‚ˆã†ã«ä¿è¨¼ã—ã¾ã™ã€‚ã‚‚ã£ã¨ä¸€èˆ¬çš„ãªè©±ã‚’ã™ã‚‹ã¨ï¼ˆã“ã®è¨˜äº‹ã§ã¯ãã®ã‚ãŸã‚Šã‚’ã‚«ãƒãƒ¼ã™ã‚‹ã¤ã‚‚ã‚Šã§ã™ãŒï¼‰ã€è¨€èªžã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã¯ãã®ãƒ—ãƒã‚°ãƒ©ãƒ ã®æ£ç¢ºã•ã¨å®‰å…¨æ€§ã‚’推論
{{#tags}}- {{label}}
{{/tags}}