Question

我刚遇到奇怪的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，因为有时您的前向声明会破坏它。

如果有人能向我解释为什么在目前的property_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;
};

// Namespaces and class declaration...

using element_type = typename get_element_type<T>::type;

经过测试的编译器：clang，gcc。

P.S。我想知道编译器开发人员是否了解它。

Answer 1

通常禁止实例化具有不完整类型的标准库模板。
std::map并非该规则的例外。
用decltype(*std::declval<_Tp&>())查询_Tp = std::unique_ptr<std::map<int, FWD>>需要实例化_Tp的所有相关类以寻找潜在的朋友operator*声明。
在这些关联的类中有std::map<int, FWD>。
std::map<int, FWD>的实例调用未定义的行为。

Answer 2

我已经提交了broadcast_const补丁，该补丁取代了现有解决方案，并像上述解决方案一样解决了该问题，但是它不依赖于SFINAE：

template<class U>
struct detect_element_type {
    using type = typename U::element_type;
};

template<class U>
struct detect_element_type<U*> {
    using type = U;
};

using element_type = typename detect_element_type<T>::type;

broadcast_const和转发声明

2 个答案: