[cfe-users] dynmaic_cast in uninstantiated function templates

via cfe-users cfe-users at lists.llvm.org
Thu Nov 1 05:51:20 PDT 2018


Thanks for the clarification. So a solution could be a template make_dependent

template<class X, class Y>
struct make_dependent
{
  typedef X type;
};

template<class T>
void fn(A* a, T& x)
{
  dynamic_cast<typename make_dependent<B*, T>::type>(a);
}

The standard doesn't supply any similar, does it?

Best Olaf



-----Ursprüngliche Nachricht-----
Von: Mat Sutcliffe [mailto:oktal3700 at gmail.com] 
Gesendet: Mittwoch, 24. Oktober 2018 18:42
An: Krzikalla, Olaf; cfe-users at lists.llvm.org
Betreff: Re: [cfe-users] dynmaic_cast in uninstantiated function templates

On Wed, 24 Oct 2018 at 02:06, Olaf wrote:
>
> the code below compiles on gcc and icc, but not on clang with the error:
>
> source_file.cpp:14:16: error: 'B' is an incomplete type
>   if (auto b = dynamic_cast<B*>(a))
>
> However fn is an uninstantiated function template.
> Is this a glitch in clang or is clang the only one right here?
>
> class B;
>
> template<class T>
> void fn(A* a, T& x)
> {
>   dynamic_cast<B*>(a);
> }

All three compilers are correct here, as far as the standard is
concerned. The code is ill-formed, but implementations are not
required to diagnose this kind of error. There is no type T that could
produce a well-formed instantiation of fn.


More information about the cfe-users mailing list