queryAttributes() type-safe interface does not compile #356

New Issue

Closed

opened 2025-12-29 15:29:55 +01:00 by adam · 1 comment

adam commented 2025-12-29 15:29:55 +01:00

Owner

Copy Link

Originally created by @H2CO3 on GitHub (Jan 2, 2021).

I'm trying to use DataStack.queryAttributes() with key paths. I have the following entity definition:

final class Region: CoreStoreObject {
    @Field.Stored("regionID")
    var regionID: Int64 = 0
    
    @Field.Stored("name")
    var name: String = ""
}

I tried to call queryAttributes in several different ways based on the documentation, but I couldn't get it to compile. Using string literals works, but I would like to use key paths.

Version information: macOS 11, Swift 5.3.2.

Attempt no. 1:

func queryContinents() throws -> [[String: Any]] {
    return try dataStack.queryAttributes(
        From<Region>()
            .select(\.regionID, \.name)
    )
}

Compiler error:

Sources/Queries.swift:28:25: error: cannot infer key path type from context; consider explicitly specifying a root type
                .select(\.regionID, \.name)
                        ^
                         <#Root#>
Sources/Queries.swift:28:37: error: cannot infer key path type from context; consider explicitly specifying a root type
                .select(\.regionID, \.name)
                                    ^
                                     <#Root#>

Attempt no. 2:

func queryContinents() throws -> [[String: Any]] {
    return try dataStack.queryAttributes(
        From<Region>()
            .select(.attribute(\.regionID), .attribute(\.name))
    )
}

Compiler error:

Sources/Queries.swift:28:26: error: type 'NSDictionary.Type' has no member 'attribute'
                .select(.attribute(\.regionID), .attribute(\.name))
                        ~^~~~~~~~~~~~~~~~~~~~~
Sources/Queries.swift:28:36: error: cannot infer key path type from context; consider explicitly specifying a root type
                .select(.attribute(\.regionID), .attribute(\.name))
                                   ^
                                    <#Root#>
Sources/Queries.swift:28:50: error: referencing static method 'attribute' on 'SelectTerm' requires that 'Region' inherit from 'NSManagedObject'
                .select(.attribute(\.regionID), .attribute(\.name))
                                                 ^
/Users/H2CO3/Documents/egyetem/PhD/Demos/SwiftCoreStore/Dependencies/CoreStore/Sources/Select.swift:310:1: note: where 'O' = 'Region'
extension SelectTerm where O: NSManagedObject {

Attempt no. 3:

func queryContinents() throws -> [[String: Any]] {
    return try dataStack.queryAttributes(
        From<Region>(),
        Select(.attribute(\.regionID), .attribute(\.name))
    )
}

Compiler error:

Sources/Queries.swift:28:21: error: referencing static method 'attribute' on 'SelectTerm' requires that 'Region' inherit from 'NSManagedObject'
            Select(.attribute(\.regionID), .attribute(\.name))
                    ^
/Users/H2CO3/Documents/egyetem/PhD/Demos/SwiftCoreStore/Dependencies/CoreStore/Sources/Select.swift:310:1: note: where 'O' = 'Region'
extension SelectTerm where O: NSManagedObject {
^
Sources/Queries.swift:28:45: error: referencing static method 'attribute' on 'SelectTerm' requires that 'Region' inherit from 'NSManagedObject'
            Select(.attribute(\.regionID), .attribute(\.name))
                                            ^
/Users/H2CO3/Documents/egyetem/PhD/Demos/SwiftCoreStore/Dependencies/CoreStore/Sources/Select.swift:310:1: note: where 'O' = 'Region'
extension SelectTerm where O: NSManagedObject {

Attempt no. 4:

func queryContinents() throws -> [[String: Any]] {
    return try dataStack.queryAttributes(
        From<Region>(),
        Select(\.regionID, \.name)
    )
}

Compiler error:

Sources/Queries.swift:28:20: error: cannot infer key path type from context; consider explicitly specifying a root type
            Select(\.regionID, \.name)
                   ^
                    <#Root#>
Sources/Queries.swift:28:32: error: cannot infer key path type from context; consider explicitly specifying a root type
            Select(\.regionID, \.name)
                               ^
                                <#Root#>

Attempt no. 5:

func queryContinents() throws -> [[String: Any]] {
    return try dataStack.queryAttributes(
        From<Region>(),
        Select(\Region.regionID, \Region.name)
    )
}

Compiler error:

Sources/Queries.swift:28:20: error: value of type 'CoreStoreObject' has no member 'regionID'
            Select(\Region.regionID, \Region.name)
                   ^~~~~~~~~~~~~~~~
Sources/Queries.swift:28:38: error: value of type 'CoreStoreObject' has no member 'name'
            Select(\Region.regionID, \Region.name)
                                     ^~~~~~~~~~~~

I've tried a few variants as well, eventually all of them resulted in some of the errors enumerated above. What am I missing?

Originally created by @H2CO3 on GitHub (Jan 2, 2021). I'm trying to use `DataStack.queryAttributes()` with key paths. I have the following entity definition: ```swift final class Region: CoreStoreObject { @Field.Stored("regionID") var regionID: Int64 = 0 @Field.Stored("name") var name: String = "" } ``` I tried to call `queryAttributes` in several different ways based on the documentation, but I couldn't get it to compile. Using string literals works, but I would like to use key paths. Version information: macOS 11, Swift 5.3.2. ## Attempt no. 1: ```swift func queryContinents() throws -> [[String: Any]] { return try dataStack.queryAttributes( From<Region>() .select(\.regionID, \.name) ) } ``` Compiler error: ``` Sources/Queries.swift:28:25: error: cannot infer key path type from context; consider explicitly specifying a root type .select(\.regionID, \.name) ^ <#Root#> Sources/Queries.swift:28:37: error: cannot infer key path type from context; consider explicitly specifying a root type .select(\.regionID, \.name) ^ <#Root#> ``` ## Attempt no. 2: ```swift func queryContinents() throws -> [[String: Any]] { return try dataStack.queryAttributes( From<Region>() .select(.attribute(\.regionID), .attribute(\.name)) ) } ``` Compiler error: ``` Sources/Queries.swift:28:26: error: type 'NSDictionary.Type' has no member 'attribute' .select(.attribute(\.regionID), .attribute(\.name)) ~^~~~~~~~~~~~~~~~~~~~~ Sources/Queries.swift:28:36: error: cannot infer key path type from context; consider explicitly specifying a root type .select(.attribute(\.regionID), .attribute(\.name)) ^ <#Root#> Sources/Queries.swift:28:50: error: referencing static method 'attribute' on 'SelectTerm' requires that 'Region' inherit from 'NSManagedObject' .select(.attribute(\.regionID), .attribute(\.name)) ^ /Users/H2CO3/Documents/egyetem/PhD/Demos/SwiftCoreStore/Dependencies/CoreStore/Sources/Select.swift:310:1: note: where 'O' = 'Region' extension SelectTerm where O: NSManagedObject { ``` ## Attempt no. 3: ```swift func queryContinents() throws -> [[String: Any]] { return try dataStack.queryAttributes( From<Region>(), Select(.attribute(\.regionID), .attribute(\.name)) ) } ``` Compiler error: ``` Sources/Queries.swift:28:21: error: referencing static method 'attribute' on 'SelectTerm' requires that 'Region' inherit from 'NSManagedObject' Select(.attribute(\.regionID), .attribute(\.name)) ^ /Users/H2CO3/Documents/egyetem/PhD/Demos/SwiftCoreStore/Dependencies/CoreStore/Sources/Select.swift:310:1: note: where 'O' = 'Region' extension SelectTerm where O: NSManagedObject { ^ Sources/Queries.swift:28:45: error: referencing static method 'attribute' on 'SelectTerm' requires that 'Region' inherit from 'NSManagedObject' Select(.attribute(\.regionID), .attribute(\.name)) ^ /Users/H2CO3/Documents/egyetem/PhD/Demos/SwiftCoreStore/Dependencies/CoreStore/Sources/Select.swift:310:1: note: where 'O' = 'Region' extension SelectTerm where O: NSManagedObject { ``` ## Attempt no. 4: ```swift func queryContinents() throws -> [[String: Any]] { return try dataStack.queryAttributes( From<Region>(), Select(\.regionID, \.name) ) } ``` Compiler error: ``` Sources/Queries.swift:28:20: error: cannot infer key path type from context; consider explicitly specifying a root type Select(\.regionID, \.name) ^ <#Root#> Sources/Queries.swift:28:32: error: cannot infer key path type from context; consider explicitly specifying a root type Select(\.regionID, \.name) ^ <#Root#> ``` ## Attempt no. 5: ```swift func queryContinents() throws -> [[String: Any]] { return try dataStack.queryAttributes( From<Region>(), Select(\Region.regionID, \Region.name) ) } ``` Compiler error: ``` Sources/Queries.swift:28:20: error: value of type 'CoreStoreObject' has no member 'regionID' Select(\Region.regionID, \Region.name) ^~~~~~~~~~~~~~~~ Sources/Queries.swift:28:38: error: value of type 'CoreStoreObject' has no member 'name' Select(\Region.regionID, \Region.name) ^~~~~~~~~~~~ ``` I've tried a few variants as well, eventually all of them resulted in some of the errors enumerated above. What am I missing?

adam closed this issue 2025-12-29 15:29:55 +01:00

adam commented 2025-12-29 15:29:56 +01:00

Author

Owner

Copy Link

@H2CO3 commented on GitHub (Jan 2, 2021):

It looks like the README isn't updated – using the new \.$property syntax, it worked. For future reference, here's the example that showed me the correct usage: 3d82ee18c7/Demo/%E2%AD%90%EF%B8%8FSources/%E2%AD%90%EF%B8%8FDemos/%E2%AD%90%EF%B8%8FModern/%E2%AD%90%EF%B8%8FTimeZonesDemo/%E2%AD%90%EF%B8%8FModern.TimeZonesDemo.MainView.swift (L105)

@H2CO3 commented on GitHub (Jan 2, 2021): It looks like the README isn't updated – using the new `\.$property` syntax, it worked. For future reference, here's the example that showed me the correct usage: https://github.com/JohnEstropia/CoreStore/blob/3d82ee18c7457b41d0f1f389b5e46eeb95623408/Demo/%E2%AD%90%EF%B8%8FSources/%E2%AD%90%EF%B8%8FDemos/%E2%AD%90%EF%B8%8FModern/%E2%AD%90%EF%B8%8FTimeZonesDemo/%E2%AD%90%EF%B8%8FModern.TimeZonesDemo.MainView.swift#L105

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

develop

master

prototype/concurrency

minIOS13

prototype/containers

transactionSourceTracking

prototype/swiftui

minIOS11

swift5_3

prototype/propertyWrapperFields

prototype/propertyWrappers

prototype/propertyWrapper

Swift5

throwables

prototype/Swift_4_1

prototype/Swift_4_0

prototype/Swift_3_2

prototype/queryBuilders

temp/develop

corestore4_develop

prototype/mainContextToPSC

master_ios_7_to_9

swift_2_3

gh-pages

_corespotlight-test

9.3.0

9.2.0

9.1.0

9.0.0

8.1.0

8.0.1

8.0.0

7.3.1

7.3.0

7.2.0

7.1.0

7.0.4

7.0.3

7.0.2

7.0.1

7.0.0

6.3.2

6.3.1

6.3.0

6.2.1

6.2.0

6.1.0

6.0.0

5.3.1

5.3.0

5.2.0

5.1.1

5.1.0

5.0.0

4.2.4

4.2.3

4.2.2

4.2.1

4.2.0

4.1.4

4.1.3

4.1.1

4.1.0

4.0.5

4.0.4

4.0.3

4.0.2

4.0.1

4.0.0

4.0.0-beta3

4.0.0-beta2

4.0.0-beta

3.1.1

3.1.0

3.0.3

3.0.2

3.0.1

3.0.0

2.1.3

2.1.2

2.1.1

2.1.0

2.0.6

2.0.5

2.0.4

2.0.3

2.0.2

2.0.1

2.0.0

1.6.10

1.6.9

1.6.8

1.6.7

1.6.6

1.6.5

1.6.4

1.6.3

1.6.2

1.6.1

1.6.0

1.5.4

1.5.3

1.5.2

1.5.1

1.5.0

1.4.4

1.4.3

1.4.2

1.4.1

1.4.0

1.3.6

1.3.5

1.3.4

1.3.3

1.3.2

1.3.1

1.3.0

1.2.1

1.2.0

1.0.2

1.0.1

1.0.0

0.2.1

0.2.0

0.1.2

0.1.1

0.1.0

Labels

Clear labels

abandoned

corestore bug

discussion

duplicate

enhancement

fixed

fixed

help wanted

in progress

investigating

ios/compiler bug

irreproducible

looking for workarounds

not a bug

pending

pending docs update

pull-request

Mirrored from GitHub Pull Request

question

regression

user bug

wontfix

No Label

Milestone

No items

No Milestone

Projects

Clear projects

No project

Assignees

Clear assignees

adam

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: starred/CoreStore#356