通过空指针调用成员函数

Question

所以我想知道如何用语言实现概念精简版。在对boost / concept的标题进行一些挖掘之后，我遇到了这个结构：

template <class Model>
struct user_requirements 
{
    ~user_requirements() { ((Model*)0)->~Model(); }
}

我认为通过空指针调用成员函数是未定义的行为。即使析构函数不使用任何成员变量，是否应该依赖它？