Пока возился с шаблонами и static_assert, столкнулся со следующей проблемой
(Ниже приведен сокращенный пример, проблема та же)
template< size_t n >
struct W {
class X {
public:
/* breaks normal constructor
template< size_t o >
X( typename W<o>::X & y ){
static_assert( o < n , "bad");
};
*/
template< size_t m >
operator typename W<m>::X() const {
static_assert( n < m , "bad");
return W<m>::X();
};
};
};
void func( W<6>::X y ){}
int main() {
W<5>::X x;
// > error: conversion from ‘X<5>’ to non-scalar type ‘X<6>’ requested
//W<6>::X y = x;
// > error: error: no matching function for call to ‘W<5>::X::operator W<6>::X()
// > note: template argument deduction/substitution failed:
// > note: couldn’t deduce template parameter ‘m’
//x.operator W<6>::X();
// > error: no matching function for call to ‘W<6>::X::X(W<5>::X&)’
// > note: template argument deduction/substitution failed:
// > note: couldn’t deduce template parameter ‘o’
//static_cast< W<6>::X >(x);
// similarly
//( W<6>::X ) x;
// End Goal:
// > error: could not convert ‘x’ from ‘X<5>’ to ‘X<6>’
func( x );
}
Проще говоря, я хотел бы иметь возможность преобразовывать/преобразовывать W<n>::X
объекты в W<m>::X
объекты, только если n < m
.
Некоторые дополнительные примечания
X<n>
вместо W<n>::X
W::X<n>
будет закрытымпожалуйста, опубликуйте код, который вызывает ошибку, и сообщение об ошибке. Скрытие ошибки за комментарием не является оптимальным, поскольку любое изменение, которое необходимо применить к вашему коду для воспроизведения ошибки, является источником непонимания и путаницы.
@ 463035818_is_not_a_number , я раскомментировал основную цель, но мне также любопытно, почему каждый из перечисленных методов преобразования не работает. Кроме того, изменение примера таким образом, что у вас есть X<n>
без вложенности, работает нормально.
ок, ничего страшного, вопрос и так ясен. Это было просто предложение по улучшению
Основная проблема заключается в том, что во вложенных типах невозможно вывести параметр шаблона. Вы можете обойти эту проблему, если предоставите вспомогательную переменную (N в моем примере) и используете более общий шаблон для оператора преобразования. При необходимости вы можете отфильтровать другие типы как W<n>::X
с помощью SFINAE.
Вот так:
template< size_t n >
struct W {
class X {
public:
// helper to get template parameter because it can't be deduced
static constexpr size_t N = n;
template < typename T, size_t x=T::N >
operator T() const
{
//static_assert( x < n , "bad");
std::cout << "Target: " << n << " Source " << x << std::endl;
return T();
}
X()=default;
};
};
void func( W<6>::X ){}
int main() {
W<5>::X x;
W<6>::X y=x;
x.operator W<6>::X();
static_cast< W<6>::X >(x);
( W<6>::X ) x;
func( x );
}
необходима ли вложенность типов для воспроизведения ошибки?