from_json不适用于录制宏？

Question

为什么from_json不能为record宏创建的struct工作?

require "json"
record Stock,
symbol :           String,
name :             String
p Stock.from_json %({ "symbol": "MSFT", "name": "Some" })

误差

13 | new parser
^--
Error: wrong number of arguments for 'Stock.new' (given 1, expected 2)
Overloads are:
- Stock.new(symbol : String, name : String)

问题2:

堆栈跟踪没有行号，我尝试使用--error-trace但没有效果，我如何使用--error-trace?

> crystal api/crystal/play.cr --error-trace
Showing last frame. Use --error-trace for full trace.
In /crystal-1.1.1-1/src/json/from_json.cr:13:3
13 | new parser
^--
Error: wrong number of arguments for 'Stock.new' (given 1, expected 2)
Overloads are:
- Stock.new(symbol : String, name : String)

公立小学我找到了解决方案，虽然如果它只是工作的话会更好，而不需要包含JSON::Serializable

record Stock,
symbol :           String,
name :             String,
do
include JSON::Serializable
end

Answer 1

你已经猜到了。关于JSON::Serialize是否应该始终包含的问题，这意味着JSON支持是可用的(require "json")。否则，它将无法编译。我想这就是为什么它在默认情况下没有被加入的原因。

关于最初的问题，有一种调试宏的方法。如果在宏的末尾包含{% debug %}，它将打印生成的代码。我通过复制记录宏的源(源在这里)在您的示例中进行了尝试，仅将record重命名为my_record:

macro my_record(name, *properties)
struct {{name.id}}
{% for property in properties %}
{% if property.is_a?(Assign) %}
getter {{property.target.id}}
{% elsif property.is_a?(TypeDeclaration) %}
getter {{property}}
{% else %}
getter :{{property.id}}
{% end %}
{% end %}
def initialize({{
*properties.map do |field|
"@#{field.id}".id
end
}})
end
{{yield}}
def copy_with({{
*properties.map do |property|
if property.is_a?(Assign)
"#{property.target.id} _#{property.target.id} = @#{property.target.id}".id
elsif property.is_a?(TypeDeclaration)
"#{property.var.id} _#{property.var.id} = @#{property.var.id}".id
else
"#{property.id} _#{property.id} = @#{property.id}".id
end
end
}})
self.class.new({{
*properties.map do |property|
if property.is_a?(Assign)
"_#{property.target.id}".id
elsif property.is_a?(TypeDeclaration)
"_#{property.var.id}".id
else
"_#{property.id}".id
end
end
}})
end
def clone
self.class.new({{
*properties.map do |property|
if property.is_a?(Assign)
"@#{property.target.id}.clone".id
elsif property.is_a?(TypeDeclaration)
"@#{property.var.id}.clone".id
else
"@#{property.id}.clone".id
end
end
}})
end
end
{% debug %}
end

注意末尾的{% debug %}。现在，当运行示例时…

my_record Stock,
symbol :           String,
name :             String

…展开为:

struct Stock
getter symbol : String
getter name : String
def initialize(@symbol : String, @name : String)
end
def copy_with(symbol _symbol = @symbol, name _name = @name)
self.class.new(_symbol, _name)
end
def clone
self.class.new(@symbol.clone, @name.clone)
end
end

同样，--error-trace参数应该可以工作。我没有尝试过crystal play，但你可以使用crystal run。该选项必须放在文件名之前:

$ crystal run --error-trace example.cr
struct Stock
getter symbol : String
getter name : String
def initialize(@symbol : String, @name : String)
end
def copy_with(symbol _symbol = @symbol, name _name = @name)
self.class.new(_symbol, _name)
end
def clone
self.class.new(@symbol.clone, @name.clone)
end
end
In example.cr:70:9
70 | p Stock.from_json %({ "symbol": "MSFT", "name": "Some" })
^--------
Error: instantiating 'Stock.class#from_json(String)'

In /usr/lib/crystal/json/from_json.cr:13:3
13 | new parser
^--
Error: wrong number of arguments for 'Stock.new' (given 1, expected 2)
Overloads are:
- Stock.new(symbol : String, name : String)