使用模板和 decltype 无效使用不完整类型

Question

我需要做以下工作。

这是我的实际代码的精简版，但难度基本相同，即推断工厂方法的返回类型。

具体来说，我需要DeduceObjectT 的第二个或第三个变体（均已注释），而不是第一个变体，后者需要FactoryT::ObjectT typedef。

#include <string>
#include <utility>
#include <memory>

template<class FactoryT>
using DeduceObjectT = typename FactoryT::ObjectT;
//template<class FactoryT>
//using DeduceObjectT = typename decltype(std::declval<FactoryT>().create())::element_type;
//template<class FactoryT>
//using DeduceObjectT = typename std::result_of<decltype(&FactoryT::create)(FactoryT)>::type::element_type;

template<class FactoryT>
struct FactoryUser
{
    typedef DeduceObjectT<FactoryT> ObjectT;
};

template<class FactoryUserT>
struct Foo
{
    typedef typename FactoryUserT::ObjectT ObjectT;
};

struct StringFactory
{
    typedef std::string ObjectT; // want to omit this

    std::unique_ptr<std::string> create()
    {
        return nullptr;
    }

    Foo<FactoryUser<StringFactory>> t;
};

int main()
{
    StringFactory f;
    return 0;
}

经过多次尝试，我仍然收到“错误：无效使用不完整类型‘struct StringFactory’”。

我还尝试通过 FactoryUser 的默认模板参数推断类型。

我真的不明白，考虑到触发所有模板实例化的点位于末尾——声明数据成员 t 的行，为什么会出现错误。

编译器是 gcc 4.7.3。与 -std=c++0x -O0

Answer 1

试试这样的：

template <typename Factory>
struct ProductTypedef
{
  typedef typename decltype(std::declval<Factory>().create())::element_type ObjectT;
};

struct StringFactory : public ProductTypedef<StringFactory> // CRTP
{
    std::unique_ptr<std::string> create()
    {
        return nullptr;
    }
};

Answer 2

您可以稍微更改Foo 以使您的代码正常工作：

#include <string>
#include <utility>
#include <memory>

template<class FactoryT>
using DeduceObjectT = typename FactoryT::ObjectT;

template<class FactoryT>
struct FactoryUser
{
    typedef DeduceObjectT<FactoryT> ObjectT;
};

// Provide a way for ObjectType to be specified at the time 
// the template is instantiated.
template<class FactoryUserT, typename ObjectType = typename FactoryUserT::ObjectT>
struct Foo
{
    typedef ObjectType ObjectT;
};

struct StringFactory
{
    std::unique_ptr<std::string> create()
    {
        return nullptr;
    }

    Foo<FactoryUser<StringFactory>, std::string> t;
};

int main()
{
   StringFactory f;
   return 0;
}