Как написать шаблон `is_complete`?

Question

После ответа this вопрос Я пытался найти шаблон is_complete в библиотеке Boost, и я понял, что такого шаблона в Boost.TypeTraits нет. Почему в библиотеке Boost нет такого шаблона? Как это должно выглядеть?

//! Check whether type complete 
template<typename T> 
struct is_complete 
{ 
    static const bool value = (sizeof(T) > 0); 
}; 

... 

// so I could use it in such a way 
BOOST_STATIC_ASSERT(boost::is_complete<T>::value); 

Код выше не является правильным, потому что это незаконно, чтобы применить sizeof к неполному типу. Что будет хорошим решением? Возможно ли применить SFINAE в этом случае?

---

Ну, эта проблема не может быть решена в общем, не нарушая ODR rule, но есть там конкретная платформа solution, которая работает для меня.

Answer 1

Ответ дал Алексей Malistov может быть использован на MSVC с незначительной модификацией:

namespace 
{ 
    template<class T, int discriminator> 
    struct is_complete { 
     static T & getT(); 
     static char (& pass(T))[2]; 
     static char pass(...); 
     static const bool value = sizeof(pass(getT()))==2; 
    }; 
} 
#define IS_COMPLETE(X) is_complete<X,__COUNTER__>::value 

К сожалению, в COUNTER предопределенный макрос не является частью стандарта, поэтому он не будет работать на каждый компилятор.

Answer 2

Я не могу найти что-либо в стандарте, гарантирующем, что sizeof на неполном типе даст 0. Это требует, однако, что если T неполно в какой-то момент, но завершено позже в этой единицы перевода, все ссылки на T относятся к одному типу - так, как я его прочитал, даже если T является неполным, где был вызван ваш шаблон, было бы необходимо сказать, что оно было завершено, если T завершено где-то в этой единицы перевода.

Answer 3

template<class T> 
struct is_complete { 
    static T & getT(); 
    static char (& pass(T))[2]; 
    static char pass(...); 

    static const bool value = sizeof(pass(getT()))==2; 
}; 

Answer 4

Я боюсь, что вы не можете реализовать такой is_complete черты типа. Реализация дается @Alexey не удается собрать на G ++ 4.4.2 и G ++ 4.5.0:

error: initializing argument 1 of ‘static char (& is_complete::pass(T))[2] [with T = Foo]’

На моем Mac, с G ++ 4.0.1 оценки is_complete<Foo>::value где struct Foo; неполна уступает true что еще хуже ошибка компилятора.

T может быть как полным, так и неполным в той же программе, в зависимости от единицы перевода, но он всегда одного и того же типа. Как следствие, как отмечалось выше, is_complete<T> всегда тот же тип.

Так что, если вы уважаете ODR, то нельзя иметь is_complete<T>, оценивая различные значения в зависимости от того, где он используется; в противном случае это означало бы, что у вас есть разные определения для is_complete<T>, которые ODR запрещает.

EDIT: Как принято отвечать, я и сам взломал вокруг решения, которое использует __COUNTER__ макрос для создания экземпляра другого типа is_complete<T, int> каждый раз, когда используется IS_COMPLETE макрос. Однако, с gcc, я не мог заставить SFINAE работать в первую очередь.

Answer 5

Решая это требует выполнения вычислений в аргументе по умолчанию шаблона признака, как попытка изменить определение шаблона нарушает правила ODR (хотя комбинация __COUNTER__ и namespace {} может работать около УСО).

Это написано на C++ 11, но может быть настроено для работы в режиме C++ 03 умеренно недавнего C + + 11-совместимого компилятора.

template< typename t > 
typename std::enable_if< sizeof (t), std::true_type >::type 
is_complete_fn(t *); 

std::false_type is_complete_fn(...); 

template< typename t, bool value = decltype(is_complete_fn((t *) nullptr))::value > 
struct is_complete : std::integral_constant< bool, value > {}; 

Online demo.

по умолчанию Аргумент оценивается где шаблон называется, так что он может контекстуально переключаться между различными определениями. При каждом использовании нет необходимости в различной специализации и определении; вам нужен только один для true и один для false.

Правило дано в §8.3.6/9, который в равной степени относится к аргументам функции по умолчанию и по умолчанию шаблон-аргументы:

Default arguments are evaluated each time the function is called.

Но будьте осторожны, используя это в шаблоне почти наверняка нарушают УСО. Шаблон, созданный на неполном типе, не должен делать ничего иначе, как если бы он был создан на полном типе. Я лично хочу только этого для static_assert.

Кстати, этот принцип также может быть полезен, если вы хотите пойти в другую сторону и implement функциональность __COUNTER__ с использованием шаблонов и перегрузки.

Answer 6

Мои 5 копеек:

template <typename T, typename = void> 
    struct is_incomplete : ::std::true_type 
    { 
    }; 

    template <typename T> 
    struct is_incomplete<T, decltype(sizeof(T))> : ::std::false_type 
    { 
    }; 

    template <> 
    struct is_incomplete<void> : ::std::false_type 
    { 
    }; 

Answer 7

Это может быть немного поздно, но до сих пор нет C++ 11 решение работал как для полных и абстрактных типов.

Итак, вот вы где.

С VS2015 (V140), г ++> = 4.8.1, лязг> = 3.4, это работает:

template <class T, class = void> 
struct IsComplete : std::false_type 
{}; 

template <class T> 
struct IsComplete< T, decltype(void(sizeof(T))) > : std::true_type 
{}; 

Благодаря Бат-Ulzii Luvsanbat: https://blogs.msdn.microsoft.com/vcblog/2015/12/02/partial-support-for-expression-sfinae-in-vs-2015-update-1/

С VS2013 (V120) :

namespace Details 
{ 

    template <class T> 
    struct IsComplete 
    { 
     typedef char no; 
     struct yes { char dummy[2]; }; 

     template <class U, class = decltype(sizeof(std::declval<U>())) > 
     static yes check(U*); 

     template <class U> 
     static no check(...); 

     static const bool value = sizeof(check<T>(nullptr)) == sizeof(yes); 
    }; 

} // namespace Details 


template <class T> 
struct IsComplete : std::integral_constant< bool, Details::IsComplete<T>::value > 
{}; 

Это один вдохновлен интернетах и ​​static assert that template typename T is NOT complete?