从 'std::unique_ptr<Derived>' 创建 'ClassType<std::unique_ptr<Base>>' 时出现 (/permissive-) 编译错误答案

【问题标题】：Compilation Error with (/permissive-) while creating a 'ClassType<std::unique_ptr<Base>>' from 'std::unique_ptr<Derived>'从 'std::unique_ptr<Derived>' 创建 'ClassType<std::unique_ptr<Base>>' 时出现 (/permissive-) 编译错误
【发布时间】：2020-03-07 00:16:10
【问题描述】：

我有一个代码 sn-p，当一致性模式设置为关闭时，它可以正常工作。当我将一致性模式设置为 (/permissive-) 时。我在涉及模板模板参数的部分代码中遇到错误。

我的代码如下：

template <typename T> using IsNotLValue = std::enable_if_t<!std::is_lvalue_reference_v<T>>;

// Base Class Template
template <typename T> class MyClassBase 
{ 
   protected:   
       template <typename T_ = T, typename = IsNotLValue<T_>>   
       explicit MyClassBase(T &&ptr) : ptr_(std::move(ptr))
       { 
          std::cout << "MyClassBase ::IsNotLValue" << std::endl; 
       }

       T ptr_ = nullptr; 
};


// Derived Class Template
template<typename T> class MyClass : public MyClassBase<T> 
{ 
  public:

    template <typename T_ = T, typename = IsNotLValue<T_>> 
    MyClass(T &&ptr) : MyClassBase<T>(std::move(ptr))   
    {       
      std::cout << "MyClass :: IsNotLValue" << std::endl;   
    }
};

// Base Class
class Base 
{  
 public:    
   int x = 0;   
   Base() : x(10) {}
};

// Derived Class
class Derived : public Base 
{ 
 public:    
    Derived() :Base(), y(20) {}
    int y = 0; 
};

// Function returning MyClass Object to pointer to Base Class Type
MyClass<Base*> ptrToBase()
{   
  return new Derived();    // Line 1 : OK
}

// Function returning uniqueptr to MyClass Object to pointer to Base Class Type
MyClass<std::unique_ptr<Base>> uniquePtrToBase() 
{   
  return std::make_unique<Derived>(); // Line 2 :compilation error here
}

int main() 
{   
  auto pUB = uniquePtrToBase();     
  auto pB = ptrToBase();
  return 0; 
}

当一致性模式设置为 ON 时，第 2 行给出编译错误。它正在修复，如果我添加另一个构造函数如下：

template <typename D, typename = IsNotLValue<D>>
        MyClass(D &&ptr) : MyClassBase<T>(std::move(ptr))   
        { 
          std::cout << "MyClass for uniqueptr" << std::endl;    
        }

但是，我只想在 D 的模板参数从 T 的模板参数派生或 D 从 T 派生的情况下启用此功能，因此我将条件修改为：

 template <typename D, typename T> using IsConvertibleToBase =
     std::enable_if_t<std::is_convertible_v<D*, T*>>;

    template <typename D, typename = IsConvertibleToBase<D, T>>
    MyClass(D &&ptr) : MyClassBase<T>(std::move(ptr))
    {
        std::cout << "MyClass :: IsConvertibleToBase" << std::endl;
    }

这段代码给出了编译错误，因为这里 D 是 std::unique_ptr<Derived> 而 T 是 std::unique_ptr<Base>。因此，is_convertible 失败了。

如何确保仅对继承的类启用此 ctor？和为什么在一致性模式打开时会出现此错误，如果它是 ZC 一致性模式，那么是哪一个？我尝试覆盖 twoPhase，但没有用？

【问题讨论】：

这段代码中没有模板模板参数。您所拥有的是一些默认模板参数，它们是类模板特化。
好的..那么我对模板模板参数的理解是不正确的。
一个模板模板参数看起来像template <template <typename> class P> ...

标签： c++ visual-studio visual-studio-2017 standards-compliance

【解决方案1】：

template <typename D, typename T> 
using IsConvertibleToBase = std::enable_if_t<std::is_convertible_v<D*, T*>>;

根据上述定义，IsConvertibleToBase 与 unique_ptr 一起使用时，D* 和 T* 将出错。

一种解决方案是使用pointer_traits，它适用于任何类似指针的类型：

template <typename D, typename T> 
using IsConvertibleToBase = std::enable_if_t<
    std::is_convertible_v<typename std::pointer_traits<D>::pointer, 
                          typename std::pointer_traits<T>::pointer>>;

【讨论】：