Как сделать, чтобы примерно такой код компилировался?

template<class T,size_t sz>
inline void reset(T(&x)[sz] )
{

}

template<class T>
inline void reset(T* x)
{

}

template<class T>
inline void reset(T& x)
{

}

int _tmain(int argc, TCHAR* argv[], TCHAR* envp[])
{

    int nRetCode = 0;
    
    char mass[10];
    char *pmass=mass;


    reset(mass);// error C2668: 'reset': ambiguous call to overloaded function
    reset(pmass);
    reset(nRetCode);    
    return nRetCode;
}

Здравствуйте, collider, Вы писали:

C>Как сделать, чтобы примерно такой код компилировался?

C>void reset(T(&x)[sz] )
поменяйте на
void reset(T x[sz])

Здравствуйте, collider, Вы писали:

C>Как сделать, чтобы примерно такой код компилировался?

#include <cstddef>
#include <type_traits>
#include <iostream>
 
template<class T, std::size_t sz>
inline void reset(T(&x)[sz] )
{
    std::cout << "array\n";
}
 
template<class T>
inline typename std::enable_if<std::is_pointer<T>::value, void>::type reset(T x)
{
    std::cout << "pointer\n";
}
 
template<class T>
inline typename std::enable_if<!std::is_pointer<T>::value, void>::type reset(T& x)
{
    std::cout << "reference\n";
}
 
int main(int argc, const char* argv[], const char* envp[])
{
    int nRetCode = 0;
 
    char mass[10];
    char *pmass=mass;
 
 
    reset(mass);
    reset(pmass);
    reset(nRetCode);    
    return nRetCode;
}

Пример: http://ideone.com/bFotSR

C>Как сделать, чтобы примерно такой код компилировался?

...

template<class T>
inline void reset(T* const & x)

http://ideone.com/T9CoNj

А еще можно посмотреть boost::range, там это уже сделано.

Здравствуйте, kov_serg, Вы писали:

C>>Как сделать, чтобы примерно такой код компилировался?

C>>void reset(T(&x)[sz] )
_>поменяйте на
_>void reset(T x[sz])

Только вот компилироваться код станет только лишь потому, что эта функция никогда не выиграет конкурс на подстановку. Просто потому, что шаблонный параметр sz не может быть выведен автоматически — просто потому, что параметры-массивы автоматом интерпретируются компилятором как указатели. И все по стандарту.

Здравствуйте, collider, Вы писали:

C>Как сделать, чтобы примерно такой код компилировался?

Решения можно придумать разные, в зависимости от ситуации. Классика жанра — реализация одной шаблонной функции через серию специализаций шаблонного класса-имплеиентации.

Или SFINAE:

http://ideone.com/2dKajZ

#include <iostream>
#include <utility>

template<class T>
std::enable_if_t<std::is_fundamental<std::remove_reference_t<T>>::value> reset(T&&)
{
    std::cout << 1 << std::endl;
}

template<class T>
std::enable_if_t<std::is_pointer<std::remove_reference_t<T>>::value> reset(T&&)
{
    std::cout << 2 << std::endl;
}

template<class T>
std::enable_if_t<std::is_array<std::remove_reference_t<T>>::value> reset(T&&)
{
    std::cout << 3 << std::endl;
}

int main()
{

    int nRetCode = 0;
    
    char mass[10];
    char *pmass=mass;

    reset(mass);
    reset(pmass);
    reset(nRetCode);    
}

У вашего кода две проблемы:
1) Объявлены три разных шаблона методов, соответственно если несколько из них подходят, то получается ошибка с двумя перегруженными методами, а не выбор подходящего.
2) ссылка на указатель не разбирается

http://ideone.com/EpxHub

#include <iostream>
#include <cstddef> // for size_t

template< typename T > class
reset_impl_t;

template< typename T, ::std::size_t sz > class
reset_impl_t< T(&)[sz] >
{
    public: static void
    reset(T(&x)[sz])
    {
        (void) x; // not used
        ::std::cout << "array" << ::std::endl;
    }
};

template< typename T > class
reset_impl_t< T * >
{
    public: static void
    reset(T * x)
    {
        (void) x; // not used
        ::std::cout << "pointer" << ::std::endl;
    }
};

template< typename T > class
reset_impl_t< T * & >
{
    public: static void
    reset(T * x)
    {
        return(reset_impl_t< T * >::reset(x));
    }
};

template< typename T > class
reset_impl_t< T & >
{
    public: static void
    reset(T & x)
    {
        (void) x; // not used
        ::std::cout << "reference" << ::std::endl;
    }
};

template< typename T >  void
reset(T && x)
{
    return(reset_impl_t< T >::reset(x));
}

int main()
{
    int nRetCode = 0;
    
    char mass[10];
    char * pmass = mass;
    
    reset(mass);
    reset(pmass);
    reset(nRetCode);  
    return 0;
}

C>>Как сделать, чтобы примерно такой код компилировался?

R>Решения можно придумать разные, в зависимости от ситуации. Классика жанра — реализация одной шаблонной функции через серию специализаций шаблонного класса-имплеиентации.

R>Или SFINAE:

R>http://ideone.com/2dKajZ

Никогда не понимал желания сделать простую задачу сложным способом
Все можно сделать на обычных перегрузках функций:
http://rsdn.org/forum/cpp/6687345.1

Автор: Andrew S
Дата: 03.02.17

Здравствуйте, Andrew S, Вы писали:

R>>Или SFINAE:

R>>http://ideone.com/2dKajZ

AS>Никогда не понимал желания сделать простую задачу сложным способом
AS>Все можно сделать на обычных перегрузках функций:
AS>http://rsdn.org/forum/cpp/6687345.1

Автор: Andrew S
Дата: 03.02.17

я, конечно, извиняюсь, но ты вывод своей программы смотрел?

Здравствуйте, Andrew S, Вы писали:

AS>Никогда не понимал желания сделать простую задачу сложным способом
AS>Все можно сделать на обычных перегрузках функций:

А если внимательно почитать стартовое сообщение:

Как сделать, чтобы примерно такой код компилировался?

то "примерно такой", имхо, следует понимать не иначе как "такой, когда обычные перегрузки не работают". Я, по крайней мере, именно такую трактовку выбрал в качестве отправной точки.

R>>>Или SFINAE:

R>>>http://ideone.com/2dKajZ

AS>>Никогда не понимал желания сделать простую задачу сложным способом
AS>>Все можно сделать на обычных перегрузках функций:
AS>>http://rsdn.org/forum/cpp/6687345.1

Автор: Andrew S
Дата: 03.02.17

NB>я, конечно, извиняюсь, но ты вывод своей программы смотрел?

Не вопрос — уберите const или добавьте в другие перегрузки, смотря от того, что надо. Судя по сигнатурам, надо убрать. В целом, идея иметь именно такие перегрузки для меня сомнительна.

AS>>Никогда не понимал желания сделать простую задачу сложным способом
AS>>Все можно сделать на обычных перегрузках функций:

R>А если внимательно почитать стартовое сообщение:

R>

R>Как сделать, чтобы примерно такой код компилировался?

R>то "примерно такой", имхо, следует понимать не иначе как "такой, когда обычные перегрузки не работают". Я, по крайней мере, именно такую трактовку выбрал в качестве отправной точки.

Судя по приведенному коду у человека стандартная задача — дискриминировать указатель от массива. Лучше, чем в буст-рендже, я пока решения не видел. Навороты типа SFINAE для решения этой задачи не нужны.

Здравствуйте, Andrew S, Вы писали:

AS>Не вопрос — уберите const или добавьте в другие перегрузки, смотря от того, что надо. Судя по сигнатурам, надо убрать.

То есть, указатель можно будет передать только по неконстантной ссылке? Очень удобно, спасибо.

AS>В целом, идея иметь именно такие перегрузки для меня сомнительна.

А как же буст-рендж? Там же эта задача зачем-то решается, как ты утверждаешь?

Здравствуйте, Andrew S, Вы писали:

AS>Судя по приведенному коду у человека стандартная задача — дискриминировать указатель от массива. Лучше, чем в буст-рендже, я пока решения не видел. Навороты типа SFINAE для решения этой задачи не нужны.

Ну так ты доведи сперва свое решение до рабочего состояния, а потом уже делай заключения. И, скажу сразу, необходимость передачи указателя по неконстантной ссылке — решение так себе.

И, кстати, что-то не припоминаю я в boost::range места, где требуется решение такой задачи. Там либо указателей будет пара (begin, end), либо разница между указателем и массивом несущественна. Не назовешь имя класса?