Question

我想做一些静态调度工作，并让基类static_cast this指向派生类的指针和同名调用函数实现多态。我还想使用static_assert来确保派生类确实重载了特定的函数（否则它将是无限循环的）。我试图将static_assert放在三个位置，但令人惊讶地发现并非所有这些都起作用。

#include <iostream>

template<typename Type, Type Ptr>
struct MemberHelperClass;

#define DEFINE_HAS_MEMBER_FUNCTION(func) \
template<typename T, typename Type> \
static char MemberHelper_##func(MemberHelperClass<Type, &T::func>*); \
template<typename T, typename Type> \
static int MemberHelper_##func(...); \
template<typename T, typename Type> \
struct has_member_##func { \
    static constexpr bool value = sizeof(MemberHelper_##func<T, Type>(nullptr)) == sizeof(char); \
};

#define STATIC_ASSERT_HAS_MEMBER_FUNCTION(T_, F_, func) \
static_assert(has_member_##func<T_, F_>::value == 1, "function `"#func"` is undefined or inaccessible"); \

template<typename D>
class B
{
public:
    DEFINE_HAS_MEMBER_FUNCTION(f);

    // 1.??? why this assert always fail even if D::f is present
    // STATIC_ASSERT_HAS_MEMBER_FUNCTION(D, void(D::*)(), f);

    void f() {
        // 2.ok, assert fails only when B::f is called but D::f is not defined
        // STATIC_ASSERT_HAS_MEMBER_FUNCTION(D, void(D::*)(), f);

        static_cast<D*>(this)->f();
    }

protected:
    B() {
        // 3.ok, assert fails only when instance of D is declared but D::f is not defined
        // STATIC_ASSERT_HAS_MEMBER_FUNCTION(D, void(D::*)(), f);
    }
};

class D : public B<D>
{
public:
    // void f() { std::cout << __PRETTY_FUNCTION__ << std::endl; }
};

template<typename T>
void g(B<T>* pB)
{
    pB->f();
}

int main()
{
    D d;
    g(&d);  // should print void D::f()
    return 0;
}

那么为什么第一个static_assert总是失败？我认为这将是最佳选择，因为不需要调用f。而且，只需要声明类D，并且不需要D的实例...

Answer 1

在std::fill的定义被隐式实例化时，B<D>是不完整的。因此，D的类定义中的static_assert在B的定义中看不到任何内容。成员函数主体仅在使用时隐式实例化，此时D已经完成。

具有类模板参数的C ++ static_assert

1 个答案: