C++ 标准库有 std::is_constructible<Class, T...> 检查是否可以从给定类型作为参数构造类。
例如，如果我有一个类 MyClass它有一个构造函数 MyClass(int, char) , 然后 std::is_constructible<MyClass, int, char>::value将是 true .
是否有类似的标准库类型特征来检查聚合初始化是否有效，即 MyClass{int, char}格式正确并返回 MyClass ？
我的用例:
我想写一个函数模板来转换 std::tuple使用聚合初始化的(通常是 POD)类，具有以下签名:
template <typename Class, typename... T>
inline Class to_struct(std::tuple<T...>&& tp);
为了防止用户使用无效的Class来使用这个函数, 我可以写一个 static_assert在此函数内部检查给定的 tp 是否参数具有可转换为 Class 成员的类型.似乎是 is_aggregate_initializable<Class, T...> 这样的类型特征会派上用场的。
我可以自己实现这个特性，但仅供引用，标准库中是否有我忽略的特性，或者即将成为标准库一部分的特性？
最佳答案
从评论中的讨论和浏览 C++ 引用资料来看，似乎没有聚合可初始化性和列表可初始化性的标准库类型特征，至少在 C++17 之前是这样。
评论中强调了 list initializability 之间的区别一般 ( Class{arg1, arg2, ...} ) 和 aggregate initializability .
列表可初始化性(特别是直接列表可初始化性)更容易为其编写类型特征，因为该特征仅取决于特定语法的有效性。对于我测试是否可以从元组元素构造结构的用例，直接列表可初始化性似乎更合适。
实现此特征(使用适当的 SFINAE)的可能方法如下:
namespace detail {
template <typename Struct, typename = void, typename... T>
struct is_direct_list_initializable_impl : std::false_type {};
template <typename Struct, typename... T>
struct is_direct_list_initializable_impl<Struct, std::void_t<decltype(Struct{ std::declval<T>()... })>, T...> : std::true_type {};
}
template <typename Struct, typename... T>
using is_direct_list_initializable = detail::is_direct_list_initializable_impl<Struct, void, T...>;
template<typename Struct, typename... T>
constexpr bool is_direct_list_initializable_v = is_direct_list_initializable<Struct, T...>::value;
然后我们可以通过执行 is_direct_list_initializable_v<Class, T...> 来测试直接列表的可初始化性.
这也适用于移动语义和完美转发，因为 std::declval遵守完美的转发规则。
Aggregate initializability 没那么简单，但有一个解决方案可以涵盖大多数情况。聚合初始化要求被初始化的类型是一个聚合(参见 C++ reference on aggregate initialization 的解释)，我们有一个 C++17 特征 std::is_aggregate 检查类型是否为聚合。
然而，这并不意味着仅仅因为类型是聚合类型，通常的直接列表初始化就无效。仍然允许匹配构造函数的正常列表初始化。例如，以下编译:
struct point {
int x,y;
};
int main() {
point e1{8}; // aggregate initialization :)
point e2{e1}; // this is not aggregate initialization!
}
要禁止这种列表初始化，我们可以利用聚合不能具有自定义(即用户提供的)构造函数这一事实，因此非聚合初始化必须只有一个参数和 Class{arg}将满足std::is_same_v<Class, std::decay_t<decltype(arg)>> .
幸运的是，we can't have a member variable of the same type as its enclosing class , 所以下面是无效的:
struct point {
point x;
};
对此有一个警告:允许对同一对象的引用类型，因为成员引用可以是不完整的类型(GCC、Clang 和 MSVC 都接受这一点而没有任何警告):
struct point {
point& x;
};
虽然不寻常，this code is valid by the standard .我没有解决方案来检测这种情况并确定 point可以用 point& 类型的对象聚合初始化.
忽略上面的警告(很少需要使用这种类型)，我们可以设计一个可行的解决方案:
template <typename Struct, typename... T>
using is_aggregate_initializable = std::conjunction<std::is_aggregate<Struct>, is_direct_list_initializable<Struct, T...>, std::negation<std::conjunction<std::bool_constant<sizeof...(T) == 1>, std::is_same<std::decay_t<std::tuple_element_t<0, std::tuple<T...>>>, Struct>>>>;
template<typename Struct, typename... T>
constexpr bool is_aggregate_initializable_v = is_aggregate_initializable<Struct, T...>::value;
它看起来不太好，但确实按预期运行。
关于c++ - 标准库中聚合可初始化性的类型特征？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/47882827/
在我的gem中，我需要yaml并且在我的本地计算机上运行良好。但是在将我的gem推送到rubygems.org之后，当我尝试使用我的gem时，我收到一条错误消息=>"uninitializedconstantPsych::Syck(NameError)"谁能帮我解决这个问题？附言RubyVersion=>ruby1.9.2,GemVersion=>1.6.2,Bundlerversion=>1.0.15 最佳答案 经过几个小时的研究，我发现=>“YAML使用未维护的Syck库，而Psych使用现代的LibYAML”因此，为了解决
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)
我在Rails工作并有以下类(class):classPlayer当我运行时bundleexecrailsconsole然后尝试:a=Player.new("me",5.0,"UCLA")我回来了:=>#我不知道为什么Player对象不会在这里初始化。关于可能导致此问题的操作/解释的任何建议？谢谢，马里奥格 最佳答案 havenoideawhythePlayerobjectwouldn'tbeinitializedhere它没有初始化很简单，因为你还没有初始化它!您已经覆盖了ActiveRecord::Base初始化方法，但您没有调
我有一个用户工厂。我希望默认情况下确认用户。但是鉴于unconfirmed特征，我不希望它们被确认。虽然我有一个基于实现细节而不是抽象的工作实现，但我想知道如何正确地做到这一点。factory:userdoafter(:create)do|user,evaluator|#unwantedimplementationdetailshereunlessFactoryGirl.factories[:user].defined_traits.map(&:name).include?(:unconfirmed)user.confirm!endendtrait:unconfirmeddoenden
我有用于控制用户任务的Rails5API项目，我有以下错误，但并非总是针对相同的Controller和路由。ActionController::RoutingError:uninitializedconstantApi::V1::ApiController我向您描述了一些我的项目，以更详细地解释错误。应用结构路线scopemodule:'api'donamespace:v1do#=>Loginroutesscopemodule:'login'domatch'login',to:'sessions#login',as:'login',via::postend#=>Teamroutessc
有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳
我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s
我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器，但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型，并且只返回text/plain，如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain