Trong Julia, macro có thể truy cập loại suy luận của các đối số của nó không?

Question

Trong Julia, có cách nào để viết macro mà các nhánh dựa trên kiểu đối số (biên dịch) của nó, ít nhất là đối với các đối số có thể suy ra tại thời gian biên dịch? Giống như trong ví dụ bên dưới, tôi đã tạo một hàm có tên là code_type trả về loại biên dịch là x. Có chức năng nào giống như vậy, hay cách nào để tạo ra loại hành vi này? (Hay macro được mở rộng trước khi loại được suy ra, như vậy mà loại điều là không thể.)

macro report_int(x) 
    code_type(x) == Int64 ? "it's an int" : "not an int" 
end 

Answer 1

Macros không thể làm được điều này, nhưng tạo ra các chức năng có thể.

Kiểm tra các tài liệu ở đây: http://julia.readthedocs.org/en/latest/manual/metaprogramming/#generated-functions

Answer 2

Ngoài câu trả lời spencerlyon2 của, một lựa chọn khác là chỉ cần tạo ra các chi nhánh rõ ràng:

macro report_int(x) 
    :(isa(x,Int64) ? "it's an int" : "not an int") 
end 

Nếu @report_int(x) được sử dụng bên trong một hàm, và các loại x có thể suy ra, sau đó JIT sẽ có thể tối ưu hóa nhánh chết (cách tiếp cận này được sử dụng bởi @evalpoly macro trong thư viện chuẩn).