Question

以下代码会使用virtual A::foo()覆盖B::foo() override。如果未定义BROKEN，则编译就好了。我对std::enable<std::is_pod<Q>::value>::type恶作剧的理解是它有效地用void取代了SFINAE表达式，这应该与普通的void相同。

但是，它不会编译。我收到编译器错误：

英特尔编译器（icpc）：

$ make a CXXFLAGS="-std=c++11 -DBROKEN"
icpc -std=c++11 -DBROKEN    a.cpp   -o a
a.cpp(24): error: object of abstract class type "B<int>" is not allowed:
            pure virtual function "A::foo" has no overrider
     B<int> b;
            ^

GCC

$ make a CXXFLAGS="-std=c++11 -DBROKEN" CXX=g++
g++ -std=c++11 -DBROKEN    a.cpp   -o a
a.cpp: In function ‘int main()’:
a.cpp:24:11: error: cannot declare variable ‘b’ to be of abstract type ‘B<int>’
    B<int> b;
           ^
a.cpp:9:7: note:   because the following virtual functions are pure within ‘B<int>’:
 class B : A
       ^
a.cpp:5:16: note:       virtual void A::foo()
   virtual void foo() = 0;
                ^
make: *** [a] Error 1

以下是测试用例：

#include <type_traits>

class A {
  public:
  virtual void foo() = 0;
};

template<typename T>
class B : A
{
  public:

#ifdef BROKEN
  template<class Q = T>
  typename std::enable_if<true>::type
#else
  void
#endif
  foo() override { }
};

int main()
{
   B<int> b;
   b.foo();
   return 0;
}

如果我不使用虚函数，std::enable<true>就会按预期工作。

附录

这些结果是针对gcc 4.8.3的。使用gcc 5.3，我得到一个额外的编译器错误：

a.cpp:19:9: error: member template ‘std::enable_if<true>::type B<T>::foo()’ may not have virt-specifiers
   foo() override { }

     ^

为什么不呢？

Answer 1

这不是很好，但它完成了工作......使用SFINAE条件编译进行虚拟覆盖。它有更多的调用开销（foo()调用foo_x()），但编译器可能会优化它。

#include <type_traits>

class A {
  public:
  virtual void foo() = 0;
};

template<typename T>
class B : A
{
  public:

  template<class Q = T>
  typename std::enable_if<true>::type
  foo_x() { }

  void foo() override { foo_x(); }
};

int main()
{
   B<int> b;
   b.foo(); // not an example of polymorphism! just want it to compile.
   return 0;
}

这个例子仅仅是为了证明它编译并且没用。 foo_x的实际实现将有多个实现：

  template<class Q = T>
  typename std::enable_if<is_pod<Q>::value>::type
  foo_x() { /* do something with POD */}

  template<class Q = T>
  typename std::enable_if<std::is_base_of<std::string,Q>::value>::type
  foo_x() { /* do something with a std::string */}

  template<class Q = T>
  typename std::enable_if<std::is_base_of<MyCrazyClass,Q>::value>::type
  foo_x() { /* do something with a derived class of MyCrazyClass */}

无法使用SFINAE覆盖虚函数（std :: enable_if）

英特尔编译器（icpc）：

GCC

附录

1 个答案: