我正在尝试编写一个可以推导父类模板的嵌套类的“提升”构造函数。它在父类中运行良好，但在嵌套类中则不然。下面是一个代码示例。
template <class T>
struct potato {
struct baked {
template <class O>
baked(const typename potato<O>::baked& p)
: something(static_cast<T>(p.something)) {
}
baked() = default;
T something;
};
template <class O>
potato(const potato<O>& p)
: mybaked(p.mybaked) {
}
potato() = default;
baked mybaked;
};
int main(int, char**) {
potato<int> potato1;
potato<short> potato2(potato1);
}
这合法吗？
各种编译器输出各种错误。在我的脑海中，叮当声最具可读性。它说：
候选模板被忽略：无法推断模板参数'O'
https://godbolt.org/z/y_IZiE
所以我猜要么我把签名弄糟了，要么这不是一个c支持的特性。
我不知道有什么方法可以推导出烘焙的的父马铃薯的模板参数t
struct baked {
template <class O>
baked(const O & p) : something(static_cast<T>(p.something))
{ }
baked() = default;
T something;
};
这是可行的，但它的类型安全性低于原始代码的预期。解决这个问题的一个方法是引入一个static_assert来检查O实际上是一个土豆
#include <type_traits>
template <class T>
struct potato {
struct baked {
template <class O>
baked(const O & p) : something(static_cast<T>(p.something))
{
using t_parent = potato<decltype(p.something)>;
static_assert(std::is_same<O, typename t_parent::baked>::value, "Not a baked potato!");
}
baked() = default;
T something;
};
template <class O>
potato(const potato<O>& p)
: mybaked(p.mybaked) {
}
potato() = default;
baked mybaked;
};
这应该可以很好地编译预期的用法，但在“不是烤土豆！”中失败了如果您尝试用某物传递任何其他内容。这将失败：
struct foo {
int something = 0;
};
int main(int, char**) {
foo bar;
potato<int>::baked baz(bar); // Error: Not a baked potato!
}
编译器O的As状态不能从常量typename中推断出来
您有几个变通方法：
>
将烘焙的移到父节点外并使其成为模板：
// Possibly in namespace details
template <typename T>
struct baked_impl {
template <class O>
baked_impl(const typename baked_impl<O>& p)
: something(static_cast<T>(p.something)) {
}
baked_impl() = default;
T something;
};
template <class T>
struct potato {
using baked = baked_impl<T>;
// ...
};
在baked中添加父级信息并使用SFINAE：
template <class T> struct potato;
// traits for SFINAE
template <class T> struct is_potato : std::false_type {};
template <class T> struct is_potato<potato<T>> : std::true_type {};
template <class T>
struct potato {
using value_type = T;
struct baked {
using parent = potato;
template <class O, std::enable_if_t<is_potato<typename O::parent>::value, int> = 0>
baked(const O& p)
: something(static_cast<typename O::parent::value_type>(p.something)) {
}
baked() = default;
T something;
};
// ...
};
