Como o SQL Server determina o tipo de expressão ao misturar strings Unicode e não Unicode?

Quando você diz a + bem T-SQL e ae bsão do tipo string (por exemplo , varchar(...)ou nvarchar(...)): Como o tipo resultante é determinado?

Não encontrei regras claras para isso ao experimentar. Parece depender se literais estão envolvidos.

Além disso, como o comprimento é determinado? Eu descobri que o tipo de 'x' + 'y'é varchar(2). Aparentemente, o comprimento do literal está sendo rastreado.

Aqui está um pequeno experimento que fiz:

USE tempdb

DECLARE @v VARCHAR(400) = 'x'
DECLARE @n NVARCHAR(400) = 'x'

SELECT
    '' AS [varchar]
    , N'' AS [nvarchar]

    , ('x' + N'x') AS ['x' + N'x']
    , (N'x' + 'x') AS [N'x' + 'x']
    , (ISNULL('x', N'x')) AS [ISNULL('x', N'x')]
    , (ISNULL(N'x', 'x')) AS [ISNULL(N'x', 'x')]
    , (COALESCE('x', N'x')) AS [COALESCE('x', N'x')]
    , (COALESCE(N'x', 'x')) AS [COALESCE(N'x', 'x')]

    , (@v + @n) AS [@v + @n]
    , (@n + @v) AS [@n + @v]
    , (ISNULL(@v, @n)) AS [ISNULL(@v, @n)]
    , (ISNULL(@n, @v)) AS [ISNULL(@n, @v)]
    , (COALESCE(@v, @n)) AS [COALESCE(@v, @n)]
    , (COALESCE(@n, @v)) AS [COALESCE(@n, @v)]
INTO StringConversionTest

A documentação chama o comportamento de ISNULLe COALESCEentão eu entendo essa parte. Mas o +operador parece se comportar sob um conjunto mais complexo de regras.