Sdílet prostřednictvím

CA1045: Nepředávejte typy odkazem

Vlastnost Hodnota
ID pravidla CA1045
Název Nepředávejte typy odkazem
Kategorie Návrh
Oprava způsobující chybu nebo chybu způsobující chybu Narušující
Povoleno ve výchozím nastavení v .NET 10 No

Příčina

Veřejná nebo chráněná metoda ve veřejném typu má ref parametr, který přebírá primitivní typ, typ odkazu nebo typ hodnoty, který není jedním z předdefinovaných typů.

Popis pravidla

Předávání typů odkazem (pomocí out nebo ref) vyžaduje zkušenosti s ukazateli, pochopení, jak se typy hodnot a odkazové typy liší, a zpracování metod, které mají více návratových hodnot. Také rozdíl mezi out parametry ref a parametry není široce srozumitelný.

Pokud je typ odkazu předán "podle odkazu", metoda hodlá použít parametr k vrácení jiné instance objektu. (Předání typu odkazu odkazem podle odkazu se označuje také jako použití dvojitého ukazatele, ukazatele na ukazatel nebo dvojitého nepřímého odkazu.) Pomocí výchozí konvence volání, která se předává "podle hodnoty", parametr, který přebírá typ odkazu, již přijímá ukazatel na objekt. Ukazatel, nikoli objekt, na který odkazuje, je předán hodnotou. Předání hodnotou znamená, že metoda nemůže změnit ukazatel tak, aby odkazovat na novou instanci typu odkazu, ale může změnit obsah objektu, na který odkazuje. U většiny aplikací to stačí a přinese požadované chování.

Pokud metoda musí vrátit jinou instanci, použijte k tomu návratovou hodnotu metody. Metody, které pracují s řetězci a vracejí novou instanci řetězce, naleznete ve System.String třídě. Při použití tohoto modelu zůstane volajícímu ponecháno rozhodnutí, zda je původní objekt zachován.

I když jsou návratové hodnoty běžné a silně používané, správná aplikace out a ref parametry vyžaduje středně pokročilé dovednosti v oblasti návrhu a kódování. Architekti knihoven, kteří navrhují pro širokou cílovou skupinu, by neměli očekávat, že uživatelé budou moct pracovat s parametry nebo out s ref parametry.

Poznámka:

Při práci s parametry, které jsou velké struktury, mohou další prostředky potřebné ke zkopírování těchto struktur mít vliv na výkon, když předáte hodnotu. V těchto případech můžete zvážit použití ref nebo out parametry.

Jak opravit porušení

Chcete-li opravit porušení tohoto pravidla způsobené typem hodnoty, nechte metodu vrátit objekt jako její návratovou hodnotu. Pokud metoda musí vrátit více hodnot, přepracujte ji tak, aby vrátila jednu instanci objektu, který obsahuje hodnoty.

Chcete-li opravit porušení tohoto pravidla způsobené referenčním typem, ujistěte se, že vaším záměrem je vrátit novou instanci daného odkazu. Pokud ano, metoda by k tomu měla použít jeho návratovou hodnotu.

Kdy potlačit upozornění

Je bezpečné potlačit upozornění z tohoto pravidla; Tento návrh však může způsobit problémy s použitelností.

Potlačení upozornění

Pokud chcete pouze potlačit jedno porušení, přidejte do zdrojového souboru direktivy preprocesoru, abyste pravidlo zakázali a znovu povolili.

#pragma warning disable CA1045
// The code that's violating the rule is on this line.
#pragma warning restore CA1045

Pokud chcete pravidlo pro soubor, složku nebo projekt zakázat, nastavte jeho závažnost v none konfiguračním souboru.

[*.{cs,vb}]
dotnet_diagnostic.CA1045.severity = none

Další informace naleznete v tématu Jak potlačit upozornění analýzy kódu.

Konfigurace kódu pro analýzu

Pomocí následující možnosti nakonfigurujte, ve kterých částech základu kódu se má toto pravidlo spouštět.

Tuto možnost můžete nakonfigurovat jenom pro toto pravidlo, pro všechna pravidla, která platí, nebo pro všechna pravidla v této kategorii (Návrh), na která platí. Další informace naleznete v tématu Možnosti konfigurace pravidla kvality kódu.

Zahrnutí konkrétních povrchů rozhraní API

Nastavením možnosti api_surface můžete nakonfigurovat, na kterých částech základu kódu se má toto pravidlo spouštět na základě jejich přístupnosti. Pokud chcete například určit, že pravidlo by se mělo spouštět jenom na neveřejné ploše rozhraní API, přidejte do souboru .editorconfig v projektu následující pár klíč-hodnota:

dotnet_code_quality.CAXXXX.api_surface = private, internal

Poznámka:

Nahraďte XXXX část CAXXXX ID příslušného pravidla.

Příklad 1

Následující knihovna ukazuje dvě implementace třídy, která generuje odpovědi na zpětnou vazbu uživatele. První implementace (BadRefAndOut) vynutí, aby uživatel knihovny spravil tři návratové hodnoty. Druhá implementace (RedesignedRefAndOut) zjednodušuje uživatelské prostředí vrácením instance třídy kontejneru (ReplyData), která spravuje data jako jednu jednotku.

public enum Actions
{
    Unknown,
    Discard,
    ForwardToManagement,
    ForwardToDeveloper
}

public enum TypeOfFeedback
{
    Complaint,
    Praise,
    Suggestion,
    Incomprehensible
}

public class BadRefAndOut
{
    // Violates rule: DoNotPassTypesByReference.

    public static bool ReplyInformation(TypeOfFeedback input,
       out string reply, ref Actions action)
    {
        string replyText = """
            Your feedback has been forwarded to the product manager.
            """;

        reply = string.Empty;
        bool returnReply;
        switch (input)
        {
            case TypeOfFeedback.Complaint:
            case TypeOfFeedback.Praise:
                action = Actions.ForwardToManagement;
                reply = "Thank you. " + replyText;
                returnReply = true;
                break;
            case TypeOfFeedback.Suggestion:
                action = Actions.ForwardToDeveloper;
                reply = replyText;
                returnReply = true;
                break;
            case TypeOfFeedback.Incomprehensible:
            default:
                action = Actions.Discard;
                returnReply = false;
                break;
        }
        return returnReply;
    }
}

// Redesigned version does not use out or ref parameters;
// instead, it returns this container type.

public record class ReplyData(string Reply, Actions Action, bool ReturnReply = false)
{
    public override string ToString()
    {
        return string.Format("Reply: {0} Action: {1} return? {2}",
           Reply, Action.ToString(), ReturnReply.ToString());
    }
}

public class RedesignedRefAndOut
{
    public static ReplyData? ReplyInformation(TypeOfFeedback input)
    {
        string replyText = "Your feedback has been forwarded " +
           "to the product manager.";
        ReplyData? answer = input switch
        {
            TypeOfFeedback.Complaint or TypeOfFeedback.Praise => new ReplyData(
                                   "Thank you. " + replyText,
                                   Actions.ForwardToManagement,
                                   true),
            TypeOfFeedback.Suggestion => new ReplyData(
                                   replyText,
                                   Actions.ForwardToDeveloper,
                                   true),
            _ => null,
        };
        return answer;
    }
}

Příklad 2

Následující aplikace znázorňuje prostředí uživatele. Volání přepracované knihovny (UseTheSimplifiedClass metody) je jednodušší a informace vrácené metodou jsou snadno spravované. Výstup z těchto dvou metod je identický.

public class UseComplexMethod
{
    static void UseTheComplicatedClass()
    {
        // Using the version with the ref and out parameters. 
        // You do not have to initialize an out parameter.

        string[] reply = new string[5];

        // You must initialize a ref parameter.
        Actions[] action = [Actions.Unknown,Actions.Unknown,
                         Actions.Unknown,Actions.Unknown,
                         Actions.Unknown,Actions.Unknown];
        bool[] disposition = new bool[5];
        int i = 0;

        foreach (TypeOfFeedback t in Enum.GetValues<TypeOfFeedback>())
        {
            // The call to the library.
            disposition[i] = BadRefAndOut.ReplyInformation(
               t, out reply[i], ref action[i]);
            Console.WriteLine($"Reply: {reply[i]} Action: {action[i]}  return? {disposition[i]} ");
            i++;
        }
    }

    static void UseTheSimplifiedClass()
    {
        ReplyData[] answer = new ReplyData[5];
        int i = 0;
        foreach (TypeOfFeedback t in Enum.GetValues<TypeOfFeedback>())
        {
            // The call to the library.
            answer[i] = RedesignedRefAndOut.ReplyInformation(t);
            Console.WriteLine(answer[i++]);
        }
    }

    public static void Main1045()
    {
        UseTheComplicatedClass();

        // Print a blank line in output.
        Console.WriteLine("");

        UseTheSimplifiedClass();
    }
}

Příklad 3

Následující ukázková knihovna ukazuje, jak ref se používají parametry pro odkazové typy, a ukazuje lepší způsob implementace této funkce.

public class ReferenceTypesAndParameters
{
    // The following syntax will not work. You cannot make a
    // reference type that is passed by value point to a new
    // instance. This needs the ref keyword.

    public static void BadPassTheObject(string argument)
    {
        argument = argument + " ABCDE";
    }

    // The following syntax will work, but is considered bad design.
    // It reassigns the argument to point to a new instance of string.
    // Violates rule DoNotPassTypesByReference.

    public static void PassTheReference(ref string argument)
    {
        argument = argument + " ABCDE";
    }

    // The following syntax will work and is a better design.
    // It returns the altered argument as a new instance of string.

    public static string BetterThanPassTheReference(string argument)
    {
        return argument + " ABCDE";
    }
}

Příklad 4

Následující aplikace volá každou metodu v knihovně k předvedení chování.

public class Test
{
    public static void Main1045()
    {
        string s1 = "12345";
        string s2 = "12345";
        string s3 = "12345";

        Console.WriteLine("Changing pointer - passed by value:");
        Console.WriteLine(s1);
        ReferenceTypesAndParameters.BadPassTheObject(s1);
        Console.WriteLine(s1);

        Console.WriteLine("Changing pointer - passed by reference:");
        Console.WriteLine(s2);
        ReferenceTypesAndParameters.PassTheReference(ref s2);
        Console.WriteLine(s2);

        Console.WriteLine("Passing by return value:");
        s3 = ReferenceTypesAndParameters.BetterThanPassTheReference(s3);
        Console.WriteLine(s3);
    }
}

Tento příklad vytvoří následující výstup:

Changing pointer - passed by value:
12345
12345
Changing pointer - passed by reference:
12345
12345 ABCDE
Passing by return value:
12345 ABCDE

CA1021: Vyhněte se výstupním parametrům

  • Last updated on