将隐式解析推迟到宏展开

文章/答案/技术大牛

发布

1回答

scala、metaprogramming、implicit、scala-macros

考虑一下微不足道的宏： def test[A](a: A): Unit = macro testImpl[A] [error] test(foo("123")) 在这种情况下，是否可以将隐式解析推迟到宏扩展

浏览 17提问于2020-12-13得票数 0

回答已采纳

1回答

在Scala2中，是否可以使用宏或任何语言特性来重写所有子类中的抽象类型具体化机制？scala 3怎么样？

scala、scala-macros、scala-compiler、scala-3、scala-2.13

众所周知，在Scala2中，宏是严格本地的，并且在定义类时只执行一次。当与抽象类型结合时，这一功能似乎特别弱，因为将抽象类型转换为具体类型的过程通常绕过宏，并使用自己的原始规则。-- Any 哦，AA类型被完全忽略了，因为implicitly[TypeTag[this.type]]是由一个内置宏implicit支持的，它只在定义了BB时执行一次，而不是在定义AA并具体化实际的kk.this.type我对非常核心的解决方案持开放态度，比如编译器扩展和宏，但是一种优雅的变通方法可以顺利地移植到Scala3&#

浏览 12提问于2021-04-26得票数 2

1回答

Scala宏的静态返回类型

scala、types、macros、scala-2.10、scala-macros

所以我有一个宏：import scala.reflect.macros.Context class Bar这实际上非常棒--例如，这意味着我可以将宏指向某种类型的模式，并使用表示词汇表中的术语的成员方法创建某个Vocabulary类的匿名子类，这些方法将在返回的对象上可用。

浏览 2提问于2012-12-02得票数 42

回答已采纳

1回答

在scala 2或3中，是否可以在运行时调试隐式解析过程？

scala、implicit、scala-reflect、scalameta、dotty

在scala语言中，隐式解析通常是在编译时完成的，有时会抛出模糊的错误信息，这种错误的一个著名例子是，当不成形的泛型抛出错误信息时，如下所示：(详见 ) 这个问题的解决方案是在运行时运行隐式解析算法(应该是内部的图形查询算法)，这至少有两个好处：调试工具可以一步一步地再现解析过程，因此即使是错误信息和文档也是不完整的，因

浏览 6提问于2019-12-15得票数 2

1回答

如何强制编译器显示隐式构造函数

c++、c++11、gcc、clang

有"-E“选项可以让gcc或clang运行预处理器，并显示所有宏是如何展开的，我需要这样的东西来隐式生成方法。有没有办法强制gcc或clang为每个类打印隐式创建和删除的构造函数/析构函数/赋值操作符？

浏览 20提问于2018-05-28得票数 4

4回答

力展开选项与隐式展开选项的区别

swift、option-type、forced-unwrapping

一开始，我对强制展开和隐式展开非常困惑。现在，以下的理解来自我的自学：强制<

浏览 2提问于2016-08-07得票数 29

回答已采纳

3回答

避免隐式展开变量

ios、iphone、swift4、xcode9.2

我试图避免做隐式展开变量，但我还没有想出怎么做。下面是我使用隐式展开的示例 @IBOutlet var button : UIButton!}我将非常感谢你的帮助。

浏览 6提问于2018-02-15得票数 0

2回答

UIViewController子视图属性是否应该隐式展开可选参数？

swift、uiviewcontroller、properties、subview、optional

是否应该使textField成为隐式展开的可选对象并在viewDidLoad中对其进行初始化

浏览 1提问于2015-02-16得票数 1

2回答

如何区分编译器-推断的隐式转换与显式调用？

scala、implicit-conversion、scala-2.10、scala-macros

让我们想象一下，将这两个等价表达式传递给Scala宏：有没有办法区分宏内部的这两者

浏览 8提问于2013-03-19得票数 8

回答已采纳

1回答

诺姆的"$i“宏参数从何而来？

macros、rust、nom

我试图了解Rust宏如何捕获工作，并查看解析器库。似乎输入$i是隐式的。

浏览 0提问于2018-07-16得票数 5

回答已采纳

1回答

宏中的宏展开

c++、c、macros、variadic-macros

我正在尝试创建LOGDEBUG宏：#define DEBUG_TEST 1#define DEBUG_TEST 0注意，haystack_len是size_t，我没有在宏中将它转换为g++是否隐式地尝试将宏参数转换为字符串？怎么解决这个

浏览 1提问于2014-02-18得票数 0

回答已采纳

1回答

在拍类中使用“私有”(和“定义/私有”)形式

class、oop、object、racket、scoping

Racket的有一个private表单，可以用来隐藏方法。这似乎是模仿在其他语言(如Java或C# )中使用私有语言。展示了一个使用私有隐藏方法的示例： (class object% (define on? #t) (private toggle) (public flick))) send: n

浏览 0提问于2017-08-10得票数 2

回答已采纳

1回答

当从宏中键入代码时，是否有可能检测到该代码中的宏展开导致的打字机故障？

scala、reflection、typechecking、scala-macros

我想要编写一个宏，它将接收到的代码编译为字符串文字，并在编译的代码中检测到由于宏展开失败(宏被中止，或者扩展的宏无法键入)所导致的打字机错误。上下文通过将宏展开导致的失败推迟到运行时，这样的宏将使其他宏的测试变得更加愉快，从而允许一个宏执行整个测试套件，即使宏的测试用例被破坏。当然，简单地完全按照运行时不同类型的类型是很容易的，但是如果错误的是测试代码本身，那么

浏览 6提问于2015-04-13得票数 1

回答已采纳

1回答

scala隐式宏应该返回什么来告诉编译器“忘记我的结果，继续搜索”

scala、implicit、scala-macros

我有一个带有贪婪签名的隐式宏。宏应该返回什么来告诉编译器“忘记我的结果，继续隐式搜索，就好像我不存在”？目前，我正在返回一个空块(q"")，这并不理想，因为当将隐式用作中间规则时，编译器会将null具体化。例如，在下一行中，当宏返回空( helper )时，将该参数设置为null。Any](implicit helper: Helper[C]): Parser[C] = new Parser[C

浏览 2提问于2020-10-26得票数 3

回答已采纳

1回答

使用反式泛型时含糊不清的隐式值

scala、implicit、scala-macros

我在scala宏中遇到了inferImplicitValue问题。我在玩一个宏，用于play的json Format[T]。与implicit val上的显式类型声明一起，这将导致以下编译器错误。正如我所说，从tm中删除显式类型声明解决了问题，因为在执行宏时，只知道xm的类型。[error] implicit val tm: Materializer[T] = witho

浏览 4提问于2015-01-08得票数 0

回答已采纳

2回答

在另一个宏中展开X宏

c、macros、x-macros

我有一个使用fprintf()打印输出的函数，它对格式字符串和参数都使用宏。由于有几个地方打印这个信息，这允许扩展打印，同时只更改一个地方。我想使用相同的数据生成不同的打印，但我希望它们能够使用X宏自动展开，但是我无法编译它。我不希望每次添加要打印的内容时都需要编辑打印，或者用丑陋的#define包装每个打印。undef Xint main() printf(" %s %s %s\n", STUFF); } (我的想法是东西打印一件事，而在另一处，我将用X宏<

浏览 0提问于2019-11-28得票数 1

回答已采纳

1回答

为什么SwiftyJSON要为它的常量创建隐式展开的可选常量？

swift、forced-unwrapping

在中，它使用强制展开定义以下常量：public let ErrorUnsupportedType: Int!= 500注意:我不是在问为什么或者什么时候使用隐式解包，而是问为什么在SwiftyJSON中使用它，因为我看不出有什么理由这样做。

浏览 1提问于2015-06-13得票数 4

2回答

在Scala中动态创建动态函数名

scala、implicit

我有一个对象，里面有一堆隐式函数。我现在希望为几种日期格式定义一些隐式:例如， val dateFormats = Seq("dd/MM/yyyy", "dd.MM.yyyy") 我想要遍历这个列表，并生成一个如下的函数： dateFormats= (s: String) => Try { } } 如何解析

浏览 14提问于2019-04-26得票数 0

回答已采纳

1回答

在reify调用(scala宏)中搜索隐式

scala、implicit、scala-macros、type-level-computation

我在类中保留了以前宏调用中的位置，如下所示： """ }the splice can

浏览 1提问于2019-04-23得票数 0

回答已采纳

1回答

在哪种上下文中，如果完全可以使用隐式展开的可选选项，那么它是足够的？

swift、optional

例如，我收集到的@IBoutlet是隐式展开的，因为它们是nil是没有意义的，这样的事件只会由编程中的错误引起，从而使后续的崩溃成为调试步骤。但是在UIViewControllerAnimatedTransitioning中，我是否可以将ViewControllers存储在对象属性中并隐式地将其解包？transitionContext.viewController(forKey: .from) toVC = transitionContext.viewController

浏览 0提问于2018-01-04得票数 0

点击加载更多