Question

我收到编译错误，所以我做错了但我不知道如何解决它，也不确定是否有可能有明确的实例化和SFINAE。可重现的示例是最小的，因此它可能没有完全意义，但实质上有一个类似于vector的类可以为unique_ptr或observer_ptr实例化。 SFINAE部分仅允许add函数仅用于unique_ptr。

我在那里定义了CompilationFail。看来，如果Bar有一个FooPtrVectorView，那么我得到一个编译错误。如果我不定义它，那么一切都很好。如果我只是在函数中使用FooPtrVectorView说（而不是Bar的一部分）就没有问题。

msvc的编译器错误是错误C3190：＆＃39; Foo * FooSmartPtrVector :: add（void）＆＃39;使用提供的模板参数不是＆f; FooSmartPtrVector＆＃39;

的任何成员函数的显式实例化

对于msvc用户，我有一个包含整个解决方案的zip文件，可以使其更容易https://app.box.com/s/nzbgvxo58u4jmiw50o1hlh28yfyxo1d1

observer_ptr.h

template<typename T>
class observer_ptr
{
};

Foo.h以及.cpp

中的其余实现

struct Foo{};

FooSmartPtrVector.h

#define CompilationFail 1

class Bar;
// this has to be forward declared in my case
struct Foo; 

template<template<class...> class SmartPtr>
class FooSmartPtrVector 
{
public:
    #if CompilationFail
    const Foo* fooBar(const Bar* const bar) const;
    #endif

    template<template<class...> class Q = SmartPtr,
             typename std::enable_if_t<std::is_same<Q<Foo>, std::unique_ptr<Foo>>::value>* = nullptr>
    Foo* add();

private:
    std::vector<SmartPtr<Foo>> vec;
};

using FooPtrVectorView = FooSmartPtrVector<nonstd::observer_ptr>;
using FooPtrVector = FooSmartPtrVector<std::unique_ptr>;

FooSmartPtrVector.cpp

#include "FooSmartPtrVector.h"

#if CompilationFail
    #include "Bar.h"
#endif 

#if CompilationFail
template<template<class...> class SmartPtr>
const Foo* FooSmartPtrVector<SmartPtr>::fooBar(const Bar* const bar) const
{
    return bar->getFromFooPtrView();
}
#endif 

template<template<class...> class SmartPtr>
template<template<class...> class Q,
         typename std::enable_if_t<std::is_same<Q<Foo>, std::unique_ptr<Foo>>::value>*>
Foo* FooSmartPtrVector<SmartPtr>::add()
{
    auto uptr_foo = std::make_unique<Foo>();
    auto foo = uptr_foo.get();
    vec.emplace_back(std::move(uptr_foo));
    return foo;
}


// explicit instantiations of our templates
template class FooSmartPtrVector<observer_ptr>;
template class FooSmartPtrVector<std::unique_ptr>;
template Foo* FooSmartPtrVector<std::unique_ptr>::add();

Bar.h

#include "FooSmartPtrVector.h"

struct Foo;

class Bar
{
public:
    Foo* getFromFooPtrView() const { return nullptr; }

private:
    bool isValid_;
    FooPtrVectorView observations_vector_;
};

感谢任何帮助。

显式模板实例化和SFINAE

0 个答案: