在非活动联合成员上使用“std::addressof”是否定义明确[重复]

下面的代码是尝试实现constexpr的版本offsetof在 C++11 中。它可以在 gcc 7.2.0 和 clang 5.0.0 中编译。

这取决于申请std::addressof工会非活跃成员的成员。

这是明确定义的 C++11 吗？如果不是，请解释原因，包括对标准相关部分的引用或引用。

#include <iostream>
#include <cstdint>
#include <memory>

// based on the gist at: https://gist.github.com/graphitemaster/494f21190bb2c63c5516
// original version by graphitemaster

template <typename T1, typename T2>
struct offset_of_impl {
    union U {
        char c;
        T1 m; // instance of type of member
        T2 object;
        constexpr U() : c(0) {} // make c the active member
    };
    static constexpr U u = {};

    static constexpr std::ptrdiff_t offset(T1 T2::*member) {
        // The following avoids use of reinterpret_cast, so is constexpr.
        // The subtraction gives the correct offset because the union layout rules guarantee that all
        // union members have the same starting address.
        // On the other hand, it will break if object.*member is not aligned.
        // Possible problem: it uses std::addressof on non-active union members.
        // Please let us know at the gist if this is defined or undefined behavior.
        return (std::addressof(offset_of_impl<T1, T2>::u.object.*member) - 
            std::addressof(offset_of_impl<T1, T2>::u.m)) * sizeof(T1);
    }
};

template <typename T1, typename T2>
constexpr typename offset_of_impl<T1, T2>::U offset_of_impl<T1, T2>::u;

template <typename T1, typename T2>
inline constexpr std::ptrdiff_t offset_of(T1 T2::*member) {
    return offset_of_impl<T1, T2>::offset(member);
}

struct S {
    S(int a_, int b_, int c_) : a(a_), b(b_), c(c_) {}
    S() = delete;
    int a;
    int b;
    int c;
};

int main()
{
    std::cout << offset_of(&S::b);   
}

作为参考，这里有一个沙盒版本可供使用：https://wandbox.org/permlink/rKQXopsltQ51VtEm https://wandbox.org/permlink/rKQXopsltQ51VtEm

这是 Graphitemaster 的原始版本：https://gist.github.com/graphitemaster/494f21190bb2c63c5516 https://gist.github.com/graphitemaster/494f21190bb2c63c5516

union U { int a; int b; };
U u;
u.a = 0; // (1)
int* pub = &u.b;

Yes, this is well defined, but there is restrictions on the way one can use pub. Note : taking the address of an object with the operator & or with std::addressof is similar¹ unless a custom operator & is defined for that object's type.

[class.union]/1 http://eel.is/c%2B%2Bdraft/basic.life#6.sentence-1
在联合中，如果非静态数据成员的名称引用其生命周期已开始且尚未结束的对象，则该非静态数据成员处于活动状态。

所以在线标记(1), 的寿命u.b尚未启动，但对象将占用的存储空间已分配。下列的 ：

[basic.life]/6 http://eel.is/c%2B%2Bdraft/basic.life#6.sentence-1
在对象的生命周期开始之前，但在该对象将占用的存储空间已分配之后，或者在对象的生命周期结束之后，在重用或释放该对象所占用的存储空间之前，任何表示该对象的地址的指针可以使用该对象将要或曾经位于的存储位置，但只能以有限的方式使用。

¹⁾ Except it would, as user Quentin noted, bind a reference to u.b, but it's also OK as per [basic.life]/7 http://eel.is/c%2B%2Bdraft/basic.life#7.sentence-1:

类似地，在对象的生命周期开始之前但在分配该对象将占用的存储空间之后，或者在对象的生命周期结束之后并且在重用或释放该对象占用的存储空间之前，引用的任何泛左值原始对象可以被使用，但只能以有限的方式使用。对于正在建设或销毁的对象，请参阅[class.cdtor]。否则，这样的左值引用分配的存储（[basic.stc.dynamic.allocation]），并且使用不依赖于其值的左值的属性是明确定义的。