generics - Why doesn't this Swift code type-check? -


the following swift code:

class workflow<itemclass: hashable> {     var block: (itemclass -> int)?     init() {} }  protocol protocolx {     typealias itemclass     func foo(x: itemclass) -> int }  func test<y: protocolx, itemclass: hashable>(protx: y, x: itemclass) {     let workflow = workflow<itemclass>()     workflow.block = { (x: itemclass) in         return protx.foo(x)     } }

fails compiler error:

cannot invoke 'foo' argument list of type '(itemclass)':  expected argument list of type '(self.itemclass)'

in code snippet return protx.foo(x).

this may seem contrived example, it's reduced real-world problem i'm having.

if try following advice in error message, get:

'self' available in protocol or result of method in class;  did mean 'test'?

how can type-check?

you have given compiler no reason believe workflow.itemclass same type protocolx.itemclass within function test(_:x:). if mean require itemclass type parameter test function same protocolx.itemclass within function, can tell compiler require it, this:

func test<y: protocolx, itemclass: hashable y.itemclass == itemclass>(protx: y, x: itemclass) {     let workflow = workflow<itemclass>()     workflow.block = { (x: itemclass) in         return protx.foo(x)     } }

but can eliminate separate itemclass parameter entirely:

func test<y: protocolx y.itemclass: hashable>(protx: y, x: y.itemclass) {     let workflow = workflow<y.itemclass>()     workflow.block = { (x: y.itemclass) in         return protx.foo(x)     } }

Comments

Post a Comment

Popular posts from this blog

sublimetext3 - what keyboard shortcut is to comment/uncomment for this script tag in sublime -

Image
i have script tag in code, keyboard shortcut comment/uncomment script tag in sublime. after selecting script open , close tag. <script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> </script> i pressing ctrl + shift + / , getting this /*<script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> </script>*/ also pressed ctrl + / , got this // <script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> // </script> instead of <!-- <script src="http://code.jquery.com/jquery-latest.min.js" type="text/javascript"> </script> --> script open , close tag in 2 lines not in 1 line , not have spaces too. for mac,high light lines want comment. hold 'command , / ' commented. for windows: high line or select lines ,then hold ctrl + / if not work: ...
Read more

post - imageshack API cURL -

i credentials correct. when send image through form this:(action="http://api.imageshack.com/v2/images/"). working fine when tried send $ch = curl_init($url); failed. code: enter code here <form action="" method="post" enctype="multipart/form-data"> select image upload: <input type="file" name="file" id="file" multiple> <input type="text" name="auth_token" id="auth_token" value="xxxxxxxxxxxxxxxx"> <input type="text" name="api_key" id="api_key" value="xxxxxxxxxxxxxxx"> <input type="submit" value="upload image" > </form> $url = ' http://api.imageshack.com/v2/images/ '; $temp = $_files["file"]['tmp_name']; echo $temp."<br>" ; $ch = curl_init($url); curl_setopt($ch, curlopt_post, true); curl...
Read more

dataset - MPAndroidchart returning no chart Data available -

i having problems mpandroidchart. adding temperature , humidity data chart, displays "no chart data available". here can see bug is? super grateful! //create data //set size of data int size = list.size(); if (size > 24){ size = 24;} //create lists form temp , hum arraylist<entry> temps = new arraylist<entry>(); arraylist<entry> hums = new arraylist<entry>(); //fill list temp values (int = 0; < size; i++){ entry value = new entry(math.round(list.get(list.size()-size + i).temp), (size-i)); temps.add(value); } //fill list hum values (int = 0; < size; i++){ entry value = new entry(math.round(list.get(list.size()-size + i).hum), (size-i)); hums.add(value); } ...
Read more