шаблонное объявление друга, не работающее в g ++ 5.4.0 - ошибка компилятора или плохой код? - PullRequest
Новая
       51

шаблонное объявление друга, не работающее в g ++ 5.4.0 - ошибка компилятора или плохой код?

4 голосов
/ 21 апреля 2019

Ниже приведен код C ++, который без ошибок компилируется на моем Mac ( Xcode 10.2 10E125 / Apple LLVM версии 10.0.1 (clang-1001.0.46.4) ), но выдает сообщение об ошибке компилятора (показано ниже)) на моем компьютере с Linux ( g ++ (Ubuntu 5.4.0-6ubuntu1 ~ 16.04.11) 5.4.0 20160609 ).

У меня вопрос, это ошибка компилятора в g ++ 5.4.0, или я что-то не так делаю в своем коде?

Ошибка компилятора из g ++ 5.4.0: 

$ g++ template_friend.cpp
template_friend.cpp: In instantiation of ‘class SubClass<int>’:
template_friend.cpp:25:23:   required from here
template_friend.cpp:10:10: error: ‘class BaseClass<int>::InnerClassFunctor’ is private
    class InnerClassFunctor
          ^
template_friend.cpp:17:26: error: within this context
 template <class T> class SubClass : public BaseClass<typename BaseClass<T>::InnerClassFunctor >

... и код для воспроизведения ошибки:

template<class T> class BaseClass
{
public:
   BaseClass(int) {}

private:
   template<class HisT> friend class SubClass;

   class InnerClassFunctor
   {
   public:
      InnerClassFunctor() {}
   };
};

template <class T> class SubClass : public BaseClass<typename BaseClass<T>::InnerClassFunctor >
{
public:
   SubClass(int x) : BaseClass<typename BaseClass<T>::InnerClassFunctor >(x) {/* empty */}
};

int main(int, char **)
{
   SubClass<int> table(0);
   return 0;
}

1 Ответ

2 голосов
/ 21 апреля 2019

Хотя стандарт не рассматривает этот случай явно, я думаю, что это ошибка GCC: ни он, ни Clang не реализуют отложенную проверку доступа должным образом, и GCC, в частности, имеет проблемы с параметрами шаблона (и, видимо, аргументы).

...