c ++: как удалить cv-квалификаторы типа для доступа к функциям класса? - PullRequest
Новая
       40

c ++: как удалить cv-квалификаторы типа для доступа к функциям класса?

3 голосов
/ 07 марта 2020

Вот пример: 

#include <iostream>

template<typename T, 
         typename ... Args>
void print(T&& t, Args&& ... args)
{
    // line where compilation fails when the A::run is called
    if constexpr (std::is_invocable_v<decltype(&T::display),T*,Args...>)
      {
          t.display(std::forward<Args>(args)...);
      }
    else 
    {
        std::cout << "not applicable !" << std::endl;    
    }
}

template<typename T>
class A 
{
    public:

    A(T&& t):t_(t){}

    template <typename... Args>
    void run(Args&& ... args)
    {
        print<T,Args...>(t_,std::forward<Args>(args)...);
    }

    T t_;
};

template <typename T> A(T&) -> A<T&>;
template <typename T> A(T&&) -> A<T>;

class B 
{
  public:
  B(int value):value_(value){} 
  void display(int a, int b)
  {
      std::cout << value_ << " " 
                << a << " " 
                << b << std::endl; 
  }
  int value_;
};

int main()
{
    int v1=10;
    int v2=20;

    B b1{1};
    A a1{b1};
    a1.t_.display(v1,v2);

    A a2{B(2)};
    a2.t_.display(v1,v2);

    //a1.run(v1,v2); // (1)
    //a2.run(v1,v2); // (2)
    //a1.run(v1);

    return 0;
}

Приведенный выше код компилируется и работает нормально. Но если 3 последние строки (вызовы run()) не закомментированы, возникает следующая ошибка компиляции:

(1)

main. cpp : 7: 48: ошибка: 'display' не является членом 'B &' 

if constexpr (std::is_invocable_v<decltype(&T::display),T*,Args...>)

(2)

main. cpp: 27: 25: ошибка: отсутствует функция сопоставления для вызова функции print (B &, int &, int &) * 

    print<T,Args...>(t_,std::forward<Args>(args)...);

Примечание: 

template <typename T> A(T&) -> A<T&>;
template <typename T> A(T&&) -> A<T>;

объяснено здесь:

c ++ конструктор копирования (ссылки) и конструктор перемещения сожительства класса

1 Ответ

1 голос
/ 08 марта 2020

Проблема (1) и (2) - это разные проблемы.

Проблема (1) проистекает из того факта, что в следующем std::is_invocable_v

template<typename T, 
         typename ... Args>
void print(T&& t, Args&& ... args)
{
    if constexpr (std::is_invocable_v<decltype(&T::display),T*,Args...>)
    //  no T but std::decay_t<T> ...............^...........^

вместо T (это может быть ссылка) вам нужен «распавшийся» тип

Я предлагаю 

template <typename T, typename ... Args>
void print (T && t, Args && ... args)
 {
   using U = std::decay_t<T>;

   if constexpr ( std::is_invocable_v<decltype(&U::display), U*, Args...> )
      t.display(std::forward<Args>(args)...);
   else 
      std::cout << "not applicable !" << std::endl;    
}

Проблема (2) возникает из-за того, что объяснение параметров шаблона в следующем print() Позвоните 

template <typename... Args>
void run(Args&& ... args)
{
    print<T,Args...>(t_,std::forward<Args>(args)...);
}

, чтобы помешать правильному выводу шаблона.

Предложение: пусть вывод шаблона и совершенная пересылка работают и вызывают функцию следующим образом 

    print(t_,std::forward<Args>(args)...);
...