小编V. *_*nko的帖子

我刚刚遇到好奇的std :: experimental :: propagate_const错误.以下代码段演示了此问题

#include <memory>
#include <experimental/propagate_const>
#include <map>

class FWD;

//compiles
class A
{
    std::unique_ptr<FWD> m;
};

//compiles
class B
{
    std::experimental::propagate_const<std::unique_ptr<FWD>> m;
};

//compiles
class C
{
    std::unique_ptr<std::map<int, FWD>> m;
};

//does not compile!
class D
{
    std::experimental::propagate_const<std::unique_ptr<std::map<int, FWD>>> m;
};

所以你不能只用传播的unique_ptr替换unique_ptr,因为有时你的前向声明会破坏它.

如果有人向我解释为什么编译在当前的propagate_const实现中失败,我将不胜感激.它与某些事情有关

typedef remove_reference_t<decltype(*std::declval<_Tp&>())> element_type;

因为解决方法是:

template <typename T, typename = void>
struct get_element_type
{
  using type = std::remove_reference_t<decltype(*std::declval<T&>())>;
};

template <typename T>
struct get_element_type<T, typename std::enable_if<!std::is_void<typename T::element_type>::value>::type>
{
  using type = typename T::element_type; …