Форум программистов, компьютерный форум CyberForum.ru

с хабра и мой код дают разный результат. why - C++

Восстановить пароль Регистрация
 
tapochka
30 / 30 / 7
Регистрация: 25.04.2014
Сообщений: 413
07.10.2015, 02:32     с хабра и мой код дают разный результат. why #1
здравствуйте, ради обучения решил сделать проверку во время компиляции на наличие в классе функции, возвращающей void и принимающей int... компилируется, но результат неверный, ошибку не могу сам найти, помогите...

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
//======================имеется ли у класса функция void foo(int)=====================
 
template<typename T>
class hasVoidFooInt {
public:
    template<typename U>
    static constexpr auto hrr(void (U::* ptr)(int)) -> decltype(ptr((int)1));
 
    template<typename U>
    static constexpr short hrr(...);
 
// до прочтения статьи сделал так:
//    static constexpr decltype(hasVoidFooInt<T>::hrr<T>(0)) str=0;
//    static constexpr bool value = sizeof(str) != sizeof(short);
// но так было неправильно, сделал после прочтения статьи так, но результат не изменился:
    static constexpr bool value = std::is_same<void, decltype(hrr<T>(0))>::value;
};
 
//------------------------реализация из статьи с хабра-------------------------------------------
 
template<typename T> struct hasVoidFooInt_{
private:  // Спрячем от пользователя детали реализации.
    static int detect(...);  // Статическую функцию и вызывать проще.
    template<typename U> static decltype(std::declval<U>().foo(42)) detect(const U&);
public:
    static constexpr bool value = std::is_same<void, decltype(detect(std::declval<T>()))>::value;  // Вот видите, готово.
};
 
 
//====================================================================================
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
07.10.2015, 02:32     с хабра и мой код дают разный результат. why
Посмотрите здесь:

проверьте, пожалуйста, мой первый код на c++ C++
C++ Посмотрите на мой код. Матрицы
Подправьте мой код) C++
Почему выводится разный результат? C++
C++ Захват const переменной из лямбды: разный результат в g++ и clang
C++ Палиндромы. Плох ли мой код?
C++ Разный результат работы функции в release и debug
C++ Одинаковые аргументы, разный результат

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Perfilov
264 / 165 / 43
Регистрация: 25.02.2015
Сообщений: 435
07.10.2015, 02:51     с хабра и мой код дают разный результат. why #2
hrr<T>(0) - это вызов шаблонной функции с аргументом типа int.
из двух под такой вызов подходит только функция с эллипсисом, т.к. другая ожидает указателя на метод.
т.е. при любых T кандидат для вызова - short hrr(...) ну и результат всегда один и тот же: is_same<void, short> == false
tapochka
30 / 30 / 7
Регистрация: 25.04.2014
Сообщений: 413
07.10.2015, 03:45  [ТС]     с хабра и мой код дают разный результат. why #3
Цитата Сообщение от Perfilov Посмотреть сообщение
hrr<T>(0) - это вызов шаблонной функции с аргументом типа int.
хм, а здесь то почему все хорошо работает?)
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#include <iostream>
 
template <typename T>
struct has_typedef_foobar {
    // Types "yes" and "no" are guaranteed to have different sizes,
    // specifically sizeof(yes) == 1 and sizeof(no) == 2.
    typedef char yes[1];
    typedef char no[2];
 
    template <typename C>
    static yes& test(typename C::foobar*);
 
    template <typename>
    static no& test(...);
 
    // If the "sizeof" of the result of calling test<T>(0) would be equal to sizeof(yes),
    // the first overload worked and T has a nested type named foobar.
    static const bool value = sizeof(test<T>(0)) == sizeof(yes);
};
 
struct foo {    
    typedef float foobar;
};
 
int main() {
    std::cout << std::boolalpha;
    std::cout << has_typedef_foobar<int>::value << std::endl;
    std::cout << has_typedef_foobar<foo>::value << std::endl;
}
Добавлено через 4 минуты
самое забавное, что в своей реализации я нигде имя то функции foo и не упомянул( это уже косяк походу

Добавлено через 43 минуты
хм, сделал так и заработало:
C++
1
2
3
4
5
6
7
8
9
10
11
template<typename T>
class hasVoidFooInt {
public:
    template<typename U>
    static constexpr auto hrr(int* ptr) -> decltype(std::declval<U>().foo(1));
 
    template<typename U>
    static constexpr short hrr(...);
 
    static constexpr bool value = std::is_same<void, decltype(hrr<T>(nullptr))>::value;
};
Yandex
Объявления
07.10.2015, 03:45     с хабра и мой код дают разный результат. why
Ответ Создать тему
Опции темы

Текущее время: 18:04. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru