如何在Kotlin中创建可接受两种及以上类型参数的函数？

嘿，这个需求我之前做项目的时候刚好碰到过！要写一个能接受任意整数类型参数、还能返回对应类型结果的GCD（最大公约数）函数，核心思路就是用泛型来兼容不同整数类型，再搭配经典的欧几里得算法来计算最大公约数。

我拿C#举个例子吧（.NET 7及以上版本支持INumberBase<T>接口，用这个做泛型约束特别方便）：

using System.Numerics;

public static class MathUtils
{
    public static T Gcd<T>(T a, T b) where T : INumberBase<T>
    {
        // 先把参数转成绝对值，因为GCD的结果是非负的
        a = T.Abs(a);
        b = T.Abs(b);
        
        // 欧几里得算法核心逻辑
        while (!T.IsZero(b))
        {
            T temp = b;
            b = T.Remainder(a, b);
            a = temp;
        }
        
        return a;
    }
}

为啥这么写？ #

• 泛型约束INumberBase<T>：这个接口是.NET 7引入的，它涵盖了所有数值类型（包括int、long、short、byte、BigInteger等等），能让咱们的函数自动适配所有整数类型，不用写一堆重载函数。
• 处理负数：GCD的数学定义里结果是正数，所以先对输入参数取绝对值，避免负数干扰计算。
• 欧几里得算法：这是计算GCD最经典高效的算法，用取余操作循环迭代，直到余数为0，此时的被除数就是最大公约数。

测试一下效果 #

你可以这样调用这个函数，不管是哪种整数类型都能正常工作：

int gcdInt = MathUtils.Gcd(48, 18); // 返回6
long gcdLong = MathUtils.Gcd(123456789L, 987654321L); // 返回9
BigInteger gcdBigInt = MathUtils.Gcd(BigInteger.Parse("1234567890123456789"), BigInteger.Parse("9876543210987654321")); // 返回9

如果是用更早的.NET版本，没法用INumberBase<T>的话，也可以用IComparable<T>结合IConvertible做约束，不过需要手动处理取余操作，稍微麻烦一点，但思路是一样的。

要是你用的是Java这类语言，因为泛型擦除的问题，没法直接像C#这么优雅，但可以通过重载不同整数类型的方法，或者用Number类做参数再做类型转换来实现，不过代码量会多一些。

总之，核心就是泛型兼容+经典算法+边界处理，这样就能写出一个通吃所有整数类型的GCD函数啦！

内容的提问来源于stack exchange，提问作者SlayerGames44