一文淺析Java中的值傳遞

更新時(shí)間：2023年08月01日 08:56:00 作者：HuskySir

今天在解決一個(gè)問(wèn)題時(shí)，程序總是不能輸出正確值，分析邏輯思路沒(méi)問(wèn)題后，發(fā)現(xiàn)原來(lái)是由于函數(shù)傳遞導(dǎo)致了這個(gè)情況，下面我們就來(lái)看看Java中的值傳遞到底是什么情況吧

LeetCode 113

問(wèn)題：給你二叉樹(shù)的根節(jié)點(diǎn)root和一個(gè)整數(shù)目標(biāo)和targetSum，找出所有 從根節(jié)點(diǎn)到葉子節(jié)點(diǎn) 路徑總和等于給定目標(biāo)和的路徑。

示例

輸入：root = [5,4,8,11,null,13,4,7,2,null,null,5,1], targetSum = 22

輸出：[[5,4,11,2],[5,8,4,5]]

我的代碼如下

class Solution {
    public void traversal(TreeNode root, int count, List<List<Integer>> res, List<Integer> path) {
        path.add(root.val);
        if (root.left == null && root.right == null) {
            if (count - root.val == 0) {
                res.add(path);
            }
            return;
        }
?
        if (root.left != null) {
            traversal(root.left, count - root.val, res, path);
            path.remove(path.size() - 1);
        }
        if (root.right != null) {
            traversal(root.right, count - root.val, res, path);
            path.remove(path.size() - 1);
        }
    }
?
    public List<List<Integer>> pathSum(TreeNode root, int targetSum) {
        List<List<Integer>> res = new ArrayList<>();
        List<Integer> path = new ArrayList<>();
        if (root == null) return res;
        traversal(root, targetSum, res, path);
?
        return res;
    }
}

該題的思路是采用遞歸，traversal函數(shù)內(nèi)root是當(dāng)前樹(shù)的根節(jié)點(diǎn)，count是目標(biāo)值，res是存儲(chǔ)結(jié)果，path是路徑。該代碼對(duì)于示例的輸入輸出為

輸入：root = [5,4,8,11,null,13,4,7,2,null,null,5,1], targetSum = 22

輸出：[[5],[5]]

經(jīng)過(guò)排查最終問(wèn)題在于代碼中的add方法

原代碼部分內(nèi)容為

if (root.left == null && root.right == null) {
    if (count - root.val == 0) {
        res.add(path);
    }
    return;
}

該部分內(nèi)容需要改為

if (root.left == null && root.right == null) {
    if (count - root.val == 0) {
        res.add(new ArrayList(path));
    }
    return;
}

此時(shí)所有代碼對(duì)于示例的輸入輸出為

輸入：root = [5,4,8,11,null,13,4,7,2,null,null,5,1], targetSum = 22

輸出：[[5,4,11,2],[5,8,4,5]]

在java中，存在8大基本數(shù)據(jù)類(lèi)型，且均有對(duì)應(yīng)的包裝類(lèi)

數(shù)據(jù)類(lèi)型	占用位數(shù)	默認(rèn)值	包裝類(lèi)
byte(字節(jié)型)	8	0	Byte
short(短整型)	16	0	Short
int(整型)	32	0	Integer
long(長(zhǎng)整型)	64	0.0l	Long
float(浮點(diǎn)型)	32	0.0f	Float
double(雙精度浮點(diǎn)型)	64	0.0d	Double
char(字符型)	16	"/u0000"	Character
boolean(布爾型)	1	false	Boolean

在java中，函數(shù)傳遞只有值傳遞，是指在調(diào)用函數(shù)時(shí)，將實(shí)際參數(shù)復(fù)制一份傳遞給函數(shù)，這樣在函數(shù)中修改參數(shù)(形參)時(shí)，不會(huì)影響到實(shí)際參數(shù)。

基本數(shù)據(jù)類(lèi)型的值傳遞

測(cè)試類(lèi)

public class TestClass {
    public static void test(int value) {
        value = 2;
        System.out.println("形參value的值：" + value);
    }
?
    public static void main(String[] args) {
        int value = 1;
        System.out.println("調(diào)用函數(shù)前value的值：" + value);
        test(value);
        System.out.println("調(diào)用函數(shù)后value的值：" + value);
    }
}

結(jié)果為

調(diào)用函數(shù)前value的值：1
形參value的值：2
調(diào)用函數(shù)后value的值：1

結(jié)論：可以看到，int類(lèi)型的value初始為1，調(diào)用函數(shù)后，value仍然為1，基本數(shù)據(jù)類(lèi)型在函數(shù)中修改參數(shù)(形參)時(shí)不會(huì)影響到實(shí)參的值。

引用數(shù)據(jù)類(lèi)型的值傳遞

類(lèi)TreeNode

public class TreeNode {
    int val;
    TreeNode left;
    TreeNode right;
?
    TreeNode() {
    }
?
    TreeNode(int val) {
        this.val = val;
    }
?
    TreeNode(int val, TreeNode left, TreeNode right) {
        this.val = val;
        this.left = left;
        this.right = right;
    }
}

測(cè)試類(lèi)1

public class TestClass {
    public static void test(TreeNode node) {
        node.val = 2;
        System.out.println("形參node的val值：" + node.val);
    }
?
    public static void main(String[] args) {
        TreeNode node = new TreeNode(1);
        System.out.println("調(diào)用函數(shù)前node的val值：" + node.val);
        test(node);
        System.out.println("調(diào)用函數(shù)后node的val值：" + node.val);
    }
}

結(jié)果為

調(diào)用函數(shù)前node的val值：1
形參node的val值：2
調(diào)用函數(shù)后node的val值：2

結(jié)論：可以看到，TreeNode類(lèi)型的node對(duì)象的val值初始為1，調(diào)用函數(shù)后，node對(duì)象的val值被修改為2，引用數(shù)據(jù)類(lèi)型在函數(shù)中修改參數(shù)(形參)時(shí)影響到了實(shí)參的值。

現(xiàn)在看另一個(gè)示例

測(cè)試類(lèi)2

public class TestClass {
    public static void test(TreeNode node) {
        node = new TreeNode(2);
        System.out.println("形參node的val值：" + node.val);
    }
?
    public static void main(String[] args) {
        TreeNode node = new TreeNode(1);
        System.out.println("調(diào)用函數(shù)前node的val值：" + node.val);
        test(node);
        System.out.println("調(diào)用函數(shù)后node的val值：" + node.val);
    }
}

結(jié)果為

調(diào)用函數(shù)前node的val值：1
形參node的val值：2
調(diào)用函數(shù)后node的val值：1

結(jié)論：可以看到，TreeNode類(lèi)型的node對(duì)象的val值初始為1，調(diào)用函數(shù)后，node對(duì)象的val值仍然為1，引用數(shù)據(jù)類(lèi)型在函數(shù)中修改參數(shù)(形參)時(shí)未影響到實(shí)參的值。

那么，為什么會(huì)出現(xiàn)這種問(wèn)題呢？

首先，在JAVA中，函數(shù)傳遞都是采用值傳遞，實(shí)際參數(shù)都會(huì)被復(fù)制一份給到函數(shù)的形式參數(shù)，所以形式參數(shù)的變化不會(huì)影響到實(shí)際參數(shù)，基本數(shù)據(jù)類(lèi)型的值傳遞示例可以發(fā)現(xiàn)這個(gè)性質(zhì)。但引用數(shù)據(jù)類(lèi)型的值傳遞為什么會(huì)出現(xiàn)修改形式參數(shù)的值有時(shí)會(huì)影響到實(shí)際參數(shù)，而有時(shí)又不會(huì)影響到實(shí)際參數(shù)呢？其實(shí)引用數(shù)據(jù)類(lèi)型傳遞的內(nèi)容也會(huì)被復(fù)制一份給到函數(shù)的形式參數(shù)，這個(gè)內(nèi)容類(lèi)似C++中的地址，示例中的node對(duì)象存儲(chǔ)于堆中，雖然形參與實(shí)參是兩份內(nèi)容，但內(nèi)容值相同，都指向堆中相同的對(duì)象，故測(cè)試類(lèi)1在函數(shù)內(nèi)修改對(duì)象值時(shí)，函數(shù)外查看時(shí)會(huì)發(fā)現(xiàn)對(duì)象值已被修改。測(cè)試類(lèi)2在函數(shù)內(nèi)重新構(gòu)造了一個(gè)對(duì)象node，在堆中申請(qǐng)了一個(gè)新對(duì)象(新對(duì)象與原對(duì)象val值不相同)，讓形參指向這個(gè)對(duì)象，所以不會(huì)影響到原對(duì)象node的值。測(cè)試類(lèi)1與測(cè)試類(lèi)2的區(qū)別在于引用數(shù)據(jù)類(lèi)型的指向?qū)ο蟀l(fā)生了變化。

以下代碼可驗(yàn)證上述分析

測(cè)試類(lèi)1

public class TestClass {
    public static void test(TreeNode node) {
        System.out.println("test:node" + node);
        node.val = 2;
        System.out.println("test:node" + node);
        System.out.println("形參node的val值：" + node.val);
    }
?
    public static void main(String[] args) {
        TreeNode node = new TreeNode(1);
        System.out.println("調(diào)用函數(shù)前node的val值：" + node.val);
        System.out.println("main node:" + node);
        test(node);
        System.out.println("調(diào)用函數(shù)后node的val值：" + node.val);
        System.out.println("main node:" + node);
    }
}

結(jié)果為

調(diào)用函數(shù)前node的val值：1
main node:TreeNode@1540e19d
test:nodeTreeNode@1540e19d
test:nodeTreeNode@1540e19d
形參node的val值：2
調(diào)用函數(shù)后node的val值：2
main node:TreeNode@1540e19d

測(cè)試類(lèi)2

public class TestClass {
    public static void test(TreeNode node) {
        System.out.println("test:node" + node);
        node = new TreeNode(2);
        System.out.println("test:node" + node);
        System.out.println("形參node的val值：" + node.val);
    }
?
    public static void main(String[] args) {
        TreeNode node = new TreeNode(1);
        System.out.println("調(diào)用函數(shù)前node的val值：" + node.val);
        System.out.println("main node:" + node);
        test(node);
        System.out.println("調(diào)用函數(shù)后node的val值：" + node.val);
        System.out.println("main node:" + node);
    }
}

結(jié)果為

調(diào)用函數(shù)前node的val值：1
main node:TreeNode@1540e19d
test:nodeTreeNode@1540e19d
test:nodeTreeNode@677327b6
形參node的val值：2
調(diào)用函數(shù)后node的val值：1
main node:TreeNode@1540e19d

對(duì)于測(cè)試類(lèi)1，形參和實(shí)參都是指向相同的對(duì)象，所以利用形參修改對(duì)象的值，實(shí)參指向的對(duì)象的值發(fā)生改變。對(duì)于測(cè)試類(lèi)2，形參在函數(shù)開(kāi)始和實(shí)參指向相同的對(duì)象，讓其指向新的對(duì)象后，實(shí)參指向的對(duì)象的值不會(huì)發(fā)生改變。簡(jiǎn)要說(shuō)，測(cè)試類(lèi)1形參復(fù)制了實(shí)參的地址，修改了地址對(duì)應(yīng)的對(duì)象值，但并未修改地址值，測(cè)試類(lèi)2形參復(fù)制了實(shí)參的地址，并修改了地址值，但并未修改原地址值對(duì)應(yīng)的對(duì)象值。

有了目前的結(jié)論，可以理解為什么res.add()函數(shù)內(nèi)path修改為new ArrayList(path)就可代碼運(yùn)行成功。因?yàn)槲业膒ath類(lèi)型為L(zhǎng)ist<Integer>，為引用數(shù)據(jù)類(lèi)型，且path的值一直在發(fā)生變化。隨著遞歸代碼的運(yùn)行，path的值發(fā)生變化，res內(nèi)最初的List<Integer>值會(huì)發(fā)生變化(就是path的值)。但將path修改為new ArrayList(path)后，是在堆中新構(gòu)造了對(duì)象，并指向該對(duì)象，原對(duì)象的變化不會(huì)影響到該對(duì)象的值，那么res內(nèi)List<Integer>值就不會(huì)發(fā)生變化。

listList.add()方法直接傳入list1

import java.util.ArrayList;
import java.util.List;
?
public class TestClass {
    public static void main(String[] args) {
        List<List<Integer>> listList = new ArrayList<>();
        List<Integer> list1 = new ArrayList<>();
        list1.add(1);
        listList.add(list1);  //直接add list1
        List<Integer> list2 = new ArrayList<>();
        list2.add(2);
        listList.add(list2);
        System.out.println("list1改變前");
        for (List<Integer> l : listList) {
            for (Integer i : l) {
                System.out.println(i);
            }
            System.out.println("---");
        }
        list1.set(0, 2);    //將list1的0號(hào)元素改為2
        System.out.println("list1改變后");
        for (List<Integer> l : listList) {
            for (Integer i : l) {
                System.out.println(i);
            }
            System.out.println("---");
        }
    }
}

結(jié)果為

list1改變前
1
---
2
---
list1改變后
2
---
2
---

listList.add()方法重新構(gòu)造新對(duì)象（內(nèi)容與list1相同）

import java.util.ArrayList;
import java.util.List;
?
public class TestClass {
    public static void main(String[] args) {
        List<List<Integer>> listList = new ArrayList<>();
        List<Integer> list1 = new ArrayList<>();
        list1.add(1);
        listList.add(new ArrayList<>(list1)); //構(gòu)造新對(duì)象 再調(diào)用add
        List<Integer> list2 = new ArrayList<>();
        list2.add(2);
        listList.add(list2);
        System.out.println("list1改變前");
        for (List<Integer> l : listList) {
            for (Integer i : l) {
                System.out.println(i);
            }
            System.out.println("---");
        }
        list1.set(0, 2);    //將list1的0號(hào)元素改為2
        System.out.println("list1改變后");
        for (List<Integer> l : listList) {
            for (Integer i : l) {
                System.out.println(i);
            }
            System.out.println("---");
        }
    }
}

結(jié)果為