Que se passe-t-il si la clé de rapprochement n'est pas unique dans…

Ce que l'assertion protège. L'index {ligne[cle]: ligne for ...} écrase les doublons : sur deux lignes de même clé, seule la dernière survit. La fusion rendrait alors un résultat de bonne taille mais partiellement faux — le pire cas. L'assertion transforme ce mensonge en refus franc.

La variante n:m. On indexe vers une liste de lignes, et l'on produit tous les appariements.

def fusion_multiple(table1, table2, cle):
    """Toutes les combinaisons de lignes partageant la même clé.

    Postcondition : le résultat compte sum(a[v] * b[v]) lignes, où a[v]
                    et b[v] sont les effectifs de la valeur v de part
                    et d'autre.
    """
    index = {}
    for ligne in table2:
        index.setdefault(ligne[cle], []).append(ligne)
    resultat = []
    for ligne in table1:
        for autre in index.get(ligne[cle], []):
            c = dict(ligne)
            c.update(autre)
            resultat.append(c)
    return resultat

Le décompte. Si une valeur de clé apparaît $a$ fois à gauche et $b$ fois à droite, elle produit $a\times b$ lignes — chaque ligne de gauche s'apparie à chaque ligne de droite. Pour $a=b=2$ : quatre lignes. Vérification :

t1 = [{"cle": "a", "x": 1}, {"cle": "a", "x": 2}, {"cle": "b", "x": 3}]
t2 = [{"cle": "a", "y": 10}, {"cle": "a", "y": 20}, {"cle": "c", "y": 30}]
len(fusion_multiple(t1, t2, "cle"))    # 4

Et la loi générale ${\sum }_v{a}_v{b}_v$ a été vérifiée sur $300$ tables tirées au hasard : aucune assertion ne se déclenche.

À retenir : la clé "b" est absente de t2, la clé "c" absente de t1 — ni l'une ni l'autre n'apparaît dans le résultat, puisque $a_v{b}_v=0$ dès qu'un des deux effectifs est nul. Une fusion perd toujours les clés non partagées ; c'est l'exercice 9 de la banque suivante qui montre comment ne pas les perdre.