TemplateSpecCandidate - This is a generalization of OverloadCandidate which keeps track of template argument deduction failure info, when handling explicit specializations (and instantiations) of templates beyond function overloading. More...

#include "clang/Sema/TemplateDeduction.h"

Collaboration diagram for clang::TemplateSpecCandidate:

[legend]

Public Member Functions
void	set (DeclAccessPair Found, Decl *Spec, DeductionFailureInfo Info)

void	NoteDeductionFailure (Sema &S, bool ForTakingAddress)
	Diagnose a template argument deduction failure. More...

Public Attributes
DeclAccessPair	FoundDecl
	The declaration that was looked up, together with its access. More...

Decl *	Specialization
	Specialization - The actual specialization that this candidate represents. More...

DeductionFailureInfo	DeductionFailure
	Template argument deduction info. More...

Detailed Description

TemplateSpecCandidate - This is a generalization of OverloadCandidate which keeps track of template argument deduction failure info, when handling explicit specializations (and instantiations) of templates beyond function overloading.

For now, assume that the candidates are non-matching specializations. TODO: In the future, we may need to unify/generalize this with OverloadCandidate.

Definition at line 290 of file TemplateDeduction.h.

Member Function Documentation

◆ NoteDeductionFailure()

void TemplateSpecCandidate::NoteDeductionFailure	(	Sema &	S,
		bool	ForTakingAddress
	)

Diagnose a template argument deduction failure.

We are treating these failures as overload failures due to bad deductions.

Definition at line 11912 of file SemaOverload.cpp.

◆ set()

void clang::TemplateSpecCandidate::set	(	DeclAccessPair	Found,
		Decl *	Spec,
		DeductionFailureInfo	Info
	)

inline

Definition at line 302 of file TemplateDeduction.h.

References DeductionFailure, FoundDecl, and Specialization.

Referenced by clang::Sema::CheckFunctionTemplateSpecialization(), clang::Sema::CheckVarTemplateId(), and clang::Sema::ResolveSingleFunctionTemplateSpecialization().

Member Data Documentation

◆ DeductionFailure

DeductionFailureInfo clang::TemplateSpecCandidate::DeductionFailure

Template argument deduction info.

Definition at line 300 of file TemplateDeduction.h.

Referenced by set().

◆ FoundDecl

DeclAccessPair clang::TemplateSpecCandidate::FoundDecl

The declaration that was looked up, together with its access.

Might be a UsingShadowDecl, but usually a FunctionTemplateDecl.

Definition at line 293 of file TemplateDeduction.h.

Referenced by set().

◆ Specialization

Decl* clang::TemplateSpecCandidate::Specialization

Specialization - The actual specialization that this candidate represents.

When NULL, this may be a built-in candidate.

Definition at line 297 of file TemplateDeduction.h.

Referenced by GetLocationForCandidate(), and set().

The documentation for this struct was generated from the following files:

include/clang/Sema/TemplateDeduction.h
lib/Sema/SemaOverload.cpp

Public Member Functions

Public Attributes