Template e Metaprogrammazione

error: no matching function for call to 'foo': template argument deduction/substitution failed – C TEMPLATE_DEDUCTION_FAILED

TEMPLATE_DEDUCTION_FAILED

Il compilatore tenta di dedurre i tipi dei parametri di un template dai parametri passati alla funzione ma trova incongruenze (es. deducendo T=int e T=double contemporaneamente) o fallisce la sostituzione nei concetti/SFINAE.

Categoria: CGruppo: Template e MetaprogrammazioneConfidenza: altaUltimo aggiornamento: 19-08-2026Letto 1 volta

Cosa significa questo errore?

Il compilatore tenta di dedurre i tipi dei parametri di un template dai parametri passati alla funzione ma trova incongruenze (es. deducendo T=int e T=double contemporaneamente) o fallisce la sostituzione nei concetti/SFINAE.

Messaggio originale

error: no matching function for call to 'foo': template argument deduction/substitution failed

Contesto e parole chiave

Alias

  • template argument deduction substitution failed C++

Messaggi alternativi

  • deduzione o sostituzione argomenti template fallita

Prodotti

  • C++ Compiler (GCC g++ / Clang++ / MSVC)

Piattaforme

  • Linux
  • macOS
  • Windows

Parole chiave

  • c-plus-plus
  • cpp
  • cpp.templates.template-argument-deduction-substitution-failed
  • errore-cpp-template-deduction-substitution-failed
  • Template e Metaprogrammazione

Cause possibili

Causa tecnica per Errore C++ Template: template argument deduction/substitution failed

Il compilatore tenta di dedurre i tipi dei parametri di un template dai parametri passati alla funzione ma trova incongruenze (es. deducendo T=int e T=double contemporaneamente) o fallisce la sostituzione nei concetti/SFINAE.

molto comune

Diagnosi

Diagnostica di compilazione e memoria per Errore C++ Template: template argument deduction/substitution failed

Compilare con lo standard appropriato (-std=c++20 o c++23) e attivare gli Address e Undefined Behavior Sanitizer.

Come leggere il risultato. Identifica errori di metaprogrammazione, violazioni di memoria o eccezioni non gestite.

terminal
g++ -std=c++20 -Wall -Wextra -fsanitize=address,undefined -g main.cpp -o app

Risoluzione

Risoluzione standard per Errore C++ Template: template argument deduction/substitution failed

Difficoltà: mediaRischio: basso

Applicare la correzione al codice C++ secondo gli idiomi moderni (RAII, smart pointer, concetti).

  1. Ispezionare la riga segnalata dal compilatore o lo stack trace di std::terminate
  2. Risolvere l'ambiguità nei template, firme di funzioni o gestione dei lock
  3. Ricompilare ed eseguire i test unitari con ThreadSanitizer / Valgrind
terminal
g++ -std=c++20 -Wall -Wextra main.cpp -o app

Domande frequenti

Come risolvere l'errore Errore C++ Template: template argument deduction/substitution failed in C++?

Il compilatore tenta di dedurre i tipi dei parametri di un template dai parametri passati alla funzione ma trova incongruenze (es. deducendo T=int e T=double contemporaneamente) o fallisce la sostituzione nei concetti/SFINAE.

Approfondimenti

Schede correlate