bug msvc2008/msvc2010 ? unable to match function definition to an existing declaration

@eva2326 · Регистрация: 17.05.2015

Author24 — интернет-сервис помощи студентам

Всем привет!

Ошибка воспроизводится только на компиляторах msvc2008/msvc2010
С более новыми компиляторами такой проблемы нет.

C++

struct dummy;
 
template <bool, class = void>
struct if_ {};
 
template <class t> 
struct if_<true, t> { typedef t type; };
 
template <class t, class u>
struct same_ { enum { value = 0 }; };
 
template <class t>
struct same_ <t,t> { enum { value = 1 }; };
 
#define impl(t,u) \
    typename if_< ! same_<t,u>::value, dummy*>::type
 
#define decl(t,u) \
    impl(t,u) = 0
 
struct example
{
    template<class A>
    example(const A&, decl(A, example) );
    example(const example&);
    example();        
};
 
template<class A>
example::example(const A&, impl(A, example) )
{}
 
int main(){}

Код

error C2244: example::{ctor}: не удается сопоставить определение функции существующему объявлению

Как это можно починить ???

@hoggy · 20.04.2021, 21:36

Сообщение от eva2326

Как это можно починить ?

в таких случаях Microsoft рекомендует:

To work around this problem, try simplifying or changing the program near the locations listed above.

C++

struct dummy;
 
template <bool, class = void>
struct if_ {};
 
template <class t> 
struct if_<true, t> { typedef t type; };
 
template <class t, class u>
struct same_ { enum { value = 0 }; };
 
template <class t>
struct same_ <t,t> { enum { value = 1 }; };
 
template<class t, class u> struct help_
{
    enum { v = same_<t,u>::value };
    typedef if_<!v, dummy*>
        if_t;
    typedef typename if_t::type
        type;
};
 
#define impl(t,u) \
    typename help_<t,u>::type
 
#define decl(t,u) \
    impl(t,u) = 0
 
struct example
{
    template<class A>
    example(const A&, decl(A, example) );
    example(const example&);
    example();        
};
 
template<class A>
example::example(const A& a, impl(A, example) )
{}
 
int main(){}

@eva2326 · 21.04.2021, 18:11 **[ТС]**

Сообщение от hoggy

template<class t, class u> struct help_

В простейших случаях это действительно работает.
Во всяком случае, тесты успешно скомпилировались.

Но в реальном коде оказалась чуть более сложная конструкция, и SFINAE не сработало: неопределённый тип if_t

Вот такое упрощение успешно скомпилировалось на всей линейке студий:

C++

template<class t, class u, bool = same_<t,u>::value> 
struct help_;
 
template<class t, class u> struct help_ <t, u, false>
    { typedef dummy* type; };

	21.04.2021, 18:11

bug msvc2008/msvc2010 ? unable to match function definition to an existing declaration

Решение