File: src\Analyzers\Core\CodeFixes\ImplementInterface\ImplementInterfaceGenerator_Conflicts.cs
Web Access
Project: src\src\Features\Core\Portable\Microsoft.CodeAnalysis.Features.csproj (Microsoft.CodeAnalysis.Features)
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
 
using System.Diagnostics.CodeAnalysis;
using System.Linq;
using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.PooledObjects;
using Microsoft.CodeAnalysis.Shared.Extensions;
using Microsoft.CodeAnalysis.Shared.Utilities;
using Roslyn.Utilities;
 
#if CODE_STYLE
using DeclarationModifiers = Microsoft.CodeAnalysis.Internal.Editing.DeclarationModifiers;
#else
using DeclarationModifiers = Microsoft.CodeAnalysis.Editing.DeclarationModifiers;
#endif
 
namespace Microsoft.CodeAnalysis.ImplementInterface;
 
internal abstract partial class AbstractImplementInterfaceService
{
    private sealed partial class ImplementInterfaceGenerator
    {
        private bool HasConflictingMember(ISymbol member, ArrayBuilder<ISymbol> implementedVisibleMembers, [NotNullWhen(true)] out ISymbol? conflictingMember)
        {
            // Checks if this member conflicts with an existing member in classOrStructType or with
            // a method we've already implemented.  If so, we'll need to implement this one
            // explicitly.
 
            var allMembers = State.ClassOrStructType.GetAccessibleMembersInThisAndBaseTypes<ISymbol>(State.ClassOrStructType).Concat(implementedVisibleMembers);
 
            conflictingMember = allMembers.FirstOrDefault(m => HasConflict(m, member));
            return conflictingMember != null;
        }
 
        private bool HasConflict(ISymbol member1, ISymbol member2)
        {
            // If either of these members are invisible explicit, then there is no conflict.
            if (Service.HasHiddenExplicitImplementation)
            {
                if (member1.ExplicitInterfaceImplementations().Any() || member2.ExplicitInterfaceImplementations().Any())
                {
                    // explicit methods don't conflict with anything.
                    return false;
                }
            }
 
            // Members normally conflict if they have the same name.  The exceptions are methods
            // and parameterized properties (which conflict if they have the same signature).
            if (!IdentifiersMatch(member1.Name, member2.Name))
                return false;
 
            // If they differ in type, then it's almost always a conflict.  There may be
            // exceptions to this, but i don't know of any.
            if (member1.Kind != member2.Kind)
                return true;
 
            // At this point, we have two members of the same type with the same name.  If they
            // have a different signature (for example, methods, or parameterized properties),
            // then they do not conflict.
            if (!SignatureComparer.Instance.HaveSameSignature(member1, member2, IsCaseSensitive))
                return false;
 
            // Now we have to members with the same name, type and signature. If the language
            // doesn't support implicit implementation, then these members are definitely in
            // conflict.
            if (!Service.CanImplementImplicitly)
                return true;
 
            // two members conflict if they have the same signature and have
            //
            // a) different return types
            // b) different accessibility
            // c) different constraints
            if (member1.DeclaredAccessibility != member2.DeclaredAccessibility ||
                !SignatureComparer.Instance.HaveSameSignatureAndConstraintsAndReturnTypeAndAccessors(member1, member2, IsCaseSensitive))
            {
                return true;
            }
 
            // Same name, type, accessibility, return type, *and* the services can implement
            // implicitly.  These are not in conflict.
            return false;
        }
    }
}