一、Lambda表達(dá)式引用的變量必須是final或 effectively final
在Lambda表達(dá)式中，如果引用了外部的變量，則這些變量必須是final或 effectively final。final變量表示它的值不可變，而 effectively final變量在Lambda表達(dá)式中被隱式視為final，即它的值在Lambda表達(dá)式中不可再被修改。這個(gè)限制是為了避免在Lambda表達(dá)式中修改外部變量引發(fā)線程安全問(wèn)題。Lambda表達(dá)式是一種閉包，它可以訪問(wèn)外部作用域的變量，如果允許在Lambda表達(dá)式內(nèi)部修改這些變量，可能導(dǎo)致多個(gè)線程同時(shí)修改同一個(gè)變量，引發(fā)線程安全問(wèn)題。
二、Lambda表達(dá)式創(chuàng)建的對(duì)象需要保證線程安全
Lambda表達(dá)式在運(yùn)行時(shí)會(huì)創(chuàng)建一個(gè)實(shí)現(xiàn)了函數(shù)接口的匿名內(nèi)部類對(duì)象。如果Lambda表達(dá)式引用的變量是可變的，那么這個(gè)對(duì)象的狀態(tài)可能會(huì)發(fā)生變化。在多線程環(huán)境下，可能會(huì)有多個(gè)線程同時(shí)訪問(wèn)和修改這個(gè)對(duì)象的狀態(tài)，導(dǎo)致線程安全問(wèn)題。為了避免這種情況，Lambda表達(dá)式要求引用的變量是final或 effectively final，從而保證對(duì)象的狀態(tài)不會(huì)發(fā)生變化，從而保證Lambda表達(dá)式的線程安全性。
三、Lambda表達(dá)式的背后機(jī)制
Lambda表達(dá)式在編譯時(shí)會(huì)生成一個(gè)實(shí)現(xiàn)了函數(shù)接口的匿名內(nèi)部類。在這個(gè)匿名內(nèi)部類中，會(huì)持有對(duì)外部變量的引用。由于Java中的局部變量是存儲(chǔ)在棧上的，而Lambda表達(dá)式可能在其他線程中執(zhí)行，如果外部變量不是final或 effectively final，其生命周期可能超過(guò)方法的執(zhí)行，可能導(dǎo)致訪問(wèn)已經(jīng)不存在的變量，造成不確定的結(jié)果。為了避免這種情況，Java要求Lambda表達(dá)式引用的變量必須是final或 effectively final。
四、簡(jiǎn)化Lambda表達(dá)式的實(shí)現(xiàn)
將Lambda表達(dá)式引用的變量限制為final或 effectively final，可以使得編譯器在生成字節(jié)碼時(shí)更容易進(jìn)行優(yōu)化。因?yàn)閒inal變量的值在Lambda表達(dá)式中不可變，編譯器可以將其值直接嵌入到Lambda表達(dá)式的實(shí)現(xiàn)中，而不需要在運(yùn)行時(shí)進(jìn)行變量的訪問(wèn)。這樣可以提高Lambda表達(dá)式的執(zhí)行效率，同時(shí)簡(jiǎn)化編譯器的實(shí)現(xiàn)。
五、Lambda表達(dá)式的語(yǔ)義清晰
將Lambda表達(dá)式引用的變量限制為final或 effectively final，可以使得Lambda表達(dá)式的語(yǔ)義更加清晰明了。因?yàn)閒inal變量表示它的值不可變，這樣在Lambda表達(dá)式中引用的變量就具有了固定的值，不會(huì)受到外部修改的影響，使得Lambda表達(dá)式的行為更加可預(yù)測(cè)。
延伸閱讀
Lambda是什么
Lambda是一種匿名函數(shù)（Anonymous Function）的概念，它是計(jì)算機(jī)科學(xué)中的一個(gè)術(shù)語(yǔ)。Lambda表達(dá)式在編程中被廣泛應(yīng)用，在許多編程語(yǔ)言中都有支持。Lambda表達(dá)式允許我們?cè)谛枰褂煤瘮?shù)的地方直接定義一個(gè)簡(jiǎn)潔的函數(shù)體，而不必顯式地定義一個(gè)具名函數(shù)。它通常用于函數(shù)式編程和匿名函數(shù)的場(chǎng)景，可以提高代碼的簡(jiǎn)潔性和可讀性。
Lambda表達(dá)式由參數(shù)列表、箭頭符號(hào)”->”和函數(shù)體組成。參數(shù)列表指定函數(shù)的輸入?yún)?shù)，箭頭符號(hào)”->”將參數(shù)列表與函數(shù)體分隔開，函數(shù)體表示函數(shù)的執(zhí)行邏輯。Lambda表達(dá)式的優(yōu)點(diǎn)在于它可以使代碼更加緊湊和靈活，尤其在處理集合、迭代和回調(diào)等場(chǎng)景下非常方便。通過(guò)Lambda表達(dá)式，我們可以更輕松地在代碼中傳遞函數(shù)作為參數(shù)、定義函數(shù)式接口和編寫函數(shù)式編程風(fēng)格的代碼。
京公網(wǎng)安備 11010802030320號(hào)