Що означає P :: ************ у файлі Boost assert.hpp?

У boost / mpl / assert.hpp я побачив щось подібне:

template<class Pred>
struct eval_assert {
    typedef typename extract_assert_pred<Pred>::type P;
    typedef typename P::type p_type;
    typedef typename ::boost::mpl::if_c<p_type::value,
        AUX778076_ASSERT_ARG(assert<false>),
        failed ************ P::************
    >::type type;
};

Якщо перше ************можна розглядати як вказівники на структуру, що не вдалося, P::************для мене це насправді не має ніякого сенсу. Це стандартний C ++?

Суть цього коду - допомогти компілятору видавати "видимі" повідомлення про помилки.

У попередні static_assertчаси компіляція важкого для шаблону коду може легко створити ~ 100 рядків повідомлень про помилки навіть для однієї помилки, і 99% цих рядків часто не мають сенсу.

Трюк з 10 покажчиків корисний, щоб вказати на фактичну помилку, наприклад:

 BOOST_STATIC_ASSERT((std::is_same<T,U>));

Завдяки gcc T=void*і U=char*компіляції видає ~ 10 рядків помилок, але ви можете легко побачити відповідний:

error: no matching function for call to ‘assertion_failed(mpl_::failed************ std::is_same<void*, char*>::************)’

Це вказівник на вказівник на -...- член типу P, де членом є член даних типу pointer-to-pointer-to -...- failed.

У цьому випадку мета полягає лише в тому, щоб звести компіляцію, не вдавшись, посилаючись на члена Pз дуже високим ступенем ймовірності, що його не буде. У C ++ 11 ви б просто використовували static_assertзамість цього, але, звичайно, Boost повинен бути портативним для діалектів до C ++ 11.

F P::*є "вказівником на член Pтипу F".

F P::**є "вказівником на вказівник на член Pтипу F".

More *s додає більше "покажчика на" попереду.

У цьому випадку Fє failed ************, тобто, "вказівник на вказівник на ... вказівник на failed".