我看到這些術語在編程中無處不在，我對它們的含義有一個模糊的概念。搜索顯示我實際上已經在整個堆棧溢出中詢問了此類問題。據我所知，語言中的靜態/動態鍵入與強/弱鍵入有細微的區別，但是這種差異是我難以理解的。不同的來源似乎使用不同的含義，甚至可以互換使用這些術語。我找不到某個地方可以同時談論這兩者，并能說明差異。最好的是，如果有人可以在這里為我和世界其他地方清楚地說明這一點。
3 回答
千巷貓影
TA貢獻1829條經驗 獲得超7個贊
您已經發現業余愛好者用來談論編程語言的術語上的薄弱之處。 請勿使用“強”和“弱”類型的術語，因為它們在技術含義上尚未達成共識。相比之下，靜態類型化意味著在執行程序之前先檢查程序，然后在啟動程序之前將其拒絕。 動態類型化意味著在執行過程中會檢查值的類型，而類型錯誤的操作可能會導致程序停止運行或在運行時發出錯誤信號。靜態類型化的主要原因是要排除可能具有此類“動態類型錯誤”的程序。
強類型通常意味著類型系統中沒有漏洞，而弱類型意味著類型系統可以被顛覆（使任何保證無效）。這些術語經常被錯誤地使用來表示靜態和動態類型。要了解它們之間的區別，請考慮一下C：在編譯時對語言進行類型檢查（靜態類型化），但是仍然存在很多漏洞。您幾乎可以將任何類型的值轉換為相同大小的另一類型-特別是，您可以自由地轉換指針類型。帕斯卡（Pascal）是一種旨在強力打字的語言，但著名的是無法預料的漏洞：沒有標簽的變體記錄。
強類型語言的實現通常會隨著時間的流逝而產生漏洞，因此，可以使用高級語言來實現部分運行時系統。例如，Objective Caml有一個稱為的函數Obj.magic，具有僅返回其參數的運行時效果，但是在編譯時，它將任何類型的值轉換為任何其他類型的值。我最喜歡的示例是Modula-3，其設計師將其稱為類型轉換構造LOOPHOLE。
話雖如此，您不能指望任何兩個人以完全相同的方式使用“強”和“弱”兩個詞。所以避免他們。
汪汪一只貓
TA貢獻1898條經驗 獲得超8個贊
簡單地說就是這樣：在靜態類型語言中，類型是static，這意味著一旦將變量設置為類型，就無法更改它。那是因為類型是與變量關聯的，而不是變量所引用的值。
例如在Java中：
String str = "Hello"; //statically typed as string
str = 5; //would throw an error since java is statically typed
而在動態類型語言中，類型是dynamic，這意味著在將變量設置為類型之后，可以對其進行更改。這是因為鍵入與值而不是變量相關聯。
例如在Python中：
str = "Hello" # it is a string
str = 5 # now it is an integer; perfectly OK
另一方面，某種語言中的強/弱鍵入與隱式類型轉換有關（部分取自@Dario的答案）：
例如在Python中：
str = 5 + "hello"
# would throw an error since it does not want to cast one type to the other implicitly.
而在PHP中：
$str = 5 + "hello"; // equals 5 because "hello" is implicitly casted to 0
// PHP is weakly typed, thus is a very forgiving language.
靜態類型允許在編譯時檢查類型正確性。通常編譯靜態類型的語言，并解釋動態類型的語言。因此，動態類型的語言可以在運行時檢查類型。
添加回答
舉報
0/150
提交
取消