Tag: 隐式转换

为什么在这种情况下调用r值引用构造函数？: #include<iostream> using namespace std; struct B{}; struct A { A(const B &) { cout<<"A(const B &)"<<endl; } A(B &&) { cout<<"A(B &&)"<<endl; } }; A get() { B b; return b; } int main() { get(); } 我用VC ++ 14.2和GCC 5.4.0testing了代码，两者都输出： A(B &&) 为什么输出不是 A(const B &) ？这段代码和copy elision有什么关系吗？（但是A和B是不同的types，所以copy elision不应该在这里工作）

在Intellij IDEA Scala插件中是否有可能知道应用了哪种隐式转换？: 当应用隐式转换时，IntelliJ强调转换的代码。是否有可能以某种方式导航到应用的转换？

在Scala中的filter，地图，flatMap期间如何轻松地将一个集合types转换为另一个集合types？: 假设我有一个List[Int] ，并且我想在每个元素上调用toString ，并将结果作为Vector[String] 。斯卡拉有什么不同的方式来做到这一点？是否有一个解决scheme与最小量的显式打字？ – 即，我想指定我想要一个Vector而不是一个List ，但我想从过滤函数推断String参数。还是应该显式传递一个CanBuildFrom实例？我从哪里得到这些 – 对于Seq s， Set s和Map s？

多重隐式转换的交集：重新发明轮子？: 好吧，公正的警告：这是我上个星期的荒谬问题的后续行动。虽然我觉得这个问题不是很可笑。无论如何，这里是：以前的荒谬问题：假设我有一些基类特征T与子类A ， B和C ，我可以声明一个集合Seq[T] ，例如，可以包含typesA ， B和C 。使子types更加明确，让我们使用Seq[_ <: T]types的绑定语法。现在，假设我有一个带有成员A ， B和C的typesTC[_] （其中“member”表示编译器可以在隐式范围内find一些TC[A]等）。与上面类似，我想使用上下文绑定语法来声明Seq[_ : TC]types的集合。这不是合法的斯卡拉，试图模仿可能会让你感觉像一个坏人。记住，上下文绑定的语法（当正确使用的时候）parsing成隐式参数列表来定义类或方法，在这里没有任何意义。新的前提：所以让我们假设types实例（即隐式值）是不可能的，相反我们需要在这种情况下使用隐式转换。我有一些typesV （“v”应该代表“view”，fwiw），并且范围A => V ， B => V和C => V隐式转换。现在我可以填充一个Seq[V] ，尽pipeA ， B和C是不相关的。但是如果我想要一个可以隐式转换为视图V1和V2的东西的集合呢？我不能说Seq[V1 with V2]因为我的隐式转换不会神奇般的聚集。隐式转换的交集？我解决了我的问题，像这样： // a sort of product or intersection, basically […]

你能否使用关键字explicit来防止方法参数的自动转换？: 我知道你可以使用C ++关键字“explicit”作为类的构造函数，以防止types的自动转换。你可以使用这个相同的命令来防止类方法的参数转换吗？我有两个类成员，其中一个将bool作为参数，另一个是unsigned int。当我用int调用函数时，编译器把param转换成了一个bool，并调用了错误的方法。我知道最终我会取代布尔，但现在不想打破其他例程，因为这个新的程序开发。

隐式类应该总是扩展AnyVal？: 假设我在写一个扩展方法 implicit class EnhancedFoo(foo: Foo) { def bar() { /* … */ } } 你是否总是在类定义中包含extends AnyVal AnyVal？在什么情况下你不想让隐式类成为一个价值类？

MySQL的date时间比较: 例如下面的查询工作正常： SELECT * FROM quotes WHERE expires_at <= '2010-10-15 10:00:00'; 但是，这显然是执行“string”比较 – 我想知道是否有一个内置于MySQL的函数，特别是“date时间”比较。

严重的错误与int提升/可空转换，允许从十进制转换: 我认为这个问题会使我立即在Stack Overflow上成名。假设你有以下types： // represents a decimal number with at most two decimal places after the period struct NumberFixedPoint2 { decimal number; // an integer has no fractional part; can convert to this type public static implicit operator NumberFixedPoint2(int integer) { return new NumberFixedPoint2 { number = integer }; } // this type is a […]

为什么C ++允许我将一个const char分配给一个const char *？！: 令我惊讶的是，这汇编： const char* c_str() { static const char nullchar = '\0'; return nullchar; } 并在我的代码中引入了一个错误。谢天谢地，我抓住了它。这是故意的C ++，还是一个编译器错误？是否有数据types被忽略的原因？它工作在Visual C ++ 2010和GCC ，但我不明白为什么它应该工作，给出明显的数据types不匹配。（ static也不是必须的）

隐式转换与types类: 在Scala中，我们可以使用至less两种方法来改造现有的或新的types。假设我们想expression一些东西可以用Int来量化。我们可以定义以下特征。隐式转换 trait Quantifiable{ def quantify: Int } 然后我们可以使用隐式转换来量化string和列表。 implicit def string2quant(s: String) = new Quantifiable{ def quantify = s.size } implicit def list2quantifiable[A](l: List[A]) = new Quantifiable{ val quantify = l.size } 导入这些后，我们可以调用string和列表的方法quantify 。请注意，可量化列表存储其长度，所以它避免了在后续调用中进行昂贵的遍历。 types类另一种方法是定义一个“证人” Quantified[A] ，说A型可以量化。 trait Quantified[A] { def quantify(a: A): Int } 然后我们为String和List提供这个类的实例。 implicit val stringQuantifiable = […]